Tue, 30 Aug 2011 16:07:45 +0200 | blanchet | added dummy PFF prover, for debugging purposes | changeset | files |
Tue, 30 Aug 2011 16:07:34 +0200 | blanchet | first step towards polymorphic TFF + changed defaults for Vampire | changeset | files |
Tue, 30 Aug 2011 16:04:23 +0200 | blanchet | tuning | changeset | files |