Wed, 20 Sep 2006 13:56:39 +0200 | mengj | Moved the functional equality axioms to helper1 files. | file | diff | annotate |
Fri, 28 Apr 2006 06:05:19 +0200 | mengj | added some helper files for HOL goals/lemmas. Clauses have TPTP format. | file | diff | annotate |