| 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 |
| Tue, 01 Feb 2022 17:11:26 +0100 | blanchet | propagate right result when enough proofs have been found | changeset | files |
| Tue, 01 Feb 2022 16:16:50 +0100 | blanchet | correctly parse E proofs that assume '=' and '!=' bind more tightly than connectives | changeset | files |