Fri, 20 Aug 2010 15:16:27 +0200 | blanchet | use "hypothesis" rather than "conjecture" for hypotheses in TPTP format; | changeset | files |
Fri, 20 Aug 2010 14:18:55 +0200 | blanchet | merged | changeset | files |
Fri, 20 Aug 2010 14:15:29 +0200 | blanchet | improve "x = A | x = B | x = C"-style fact discovery | changeset | files |