made sorting of Vampire facts more robust in the face of names that deviate from the standard scheme
Description
Description
Details
Details
- Provenance
blanchette Authored on - Parents
- rISABELLE79b4e711d6a2: robustly handle empty proof blocks in Isar proof output
- Branches
- Unknown
- Tags