HomeIsabelle/Phabricator

robustly handle empty proof blocks in Isar proof output