Fri, 20 Aug 2010 15:16:27 +0200 | blanchet | use "hypothesis" rather than "conjecture" for hypotheses in TPTP format; | file | diff | annotate |
Tue, 17 Aug 2010 16:46:43 +0200 | blanchet | more parentheses in TPTP formulas, just in case | file | diff | annotate |
Thu, 29 Jul 2010 16:11:02 +0200 | blanchet | fix bug with "=" vs. "fequal" introduced by last change (dddb8ba3a1ce) | file | diff | annotate |
Wed, 28 Jul 2010 19:04:59 +0200 | blanchet | consequence of directory renaming | file | diff | annotate |
Wed, 28 Jul 2010 19:01:34 +0200 | blanchet | rename directory | file | diff | annotate | base |