Fri, 26 Aug 2011 01:18:48 +0200 | blanchet | disable TFF for Vampire 1.8 until they've fixed the soundness issues and it's back on SystemOnTPTP | changeset | files |
Fri, 26 Aug 2011 01:14:49 +0200 | blanchet | improve completeness of polymorphic encodings | changeset | files |
Fri, 26 Aug 2011 00:19:25 +0200 | blanchet | mangle tag bound declarations properly | changeset | files |