Wed, 20 Feb 2013 10:54:13 +0100 | blanchet | got rid of rump support for Vampire definitions | changeset | files |
Wed, 20 Feb 2013 10:45:23 +0100 | blanchet | optimize Isar output some more | changeset | files |
Wed, 20 Feb 2013 10:45:01 +0100 | blanchet | turn off more evil Vampire options to facilitate Isar proof generation | changeset | files |