Mon, 02 Jul 2018 10:02:44 +0200 | blanchet | added option for noncommercial Vampire | changeset | files |
Sun, 01 Jul 2018 20:29:23 +0100 | paulson | merged | changeset | files |
Sun, 01 Jul 2018 20:28:47 +0100 | paulson | new lemmas, de-applying, etc. | changeset | files |