| Fri, 20 Aug 2010 16:22:51 +0200 | blanchet | improve "x = A | x = B | x = C"-style axiom detection | changeset | files |
| Fri, 20 Aug 2010 15:56:00 +0200 | blanchet | temporarily disable "fequal" handling in Metis; | changeset | files |
| Fri, 20 Aug 2010 15:16:27 +0200 | blanchet | use "hypothesis" rather than "conjecture" for hypotheses in TPTP format; | changeset | files |