Tue, 27 Jul 2010 13:15:58 +0200 | blanchet | negate tfree conjecture | changeset | files |
Tue, 27 Jul 2010 12:01:02 +0200 | blanchet | handle Vampire's equality proxy axiom correctly | changeset | files |
Tue, 27 Jul 2010 00:08:05 +0200 | blanchet | simplify code | changeset | files |