Tue, 01 Feb 2022 18:12:04 +0100 | blanchet | made sorting of Vampire facts more robust in the face of names that deviate from the standard scheme | changeset | files |
Tue, 01 Feb 2022 17:33:12 +0100 | blanchet | robustly handle empty proof blocks in Isar proof output | changeset | files |