Mon, 23 May 2005 00:18:51 +0200 | quigley | Moved some of the clausify functions from ATP/res_clasimpset.ML to res_axioms.ML. | file | diff | annotate |
Thu, 21 Apr 2005 15:05:24 +0200 | paulson | added hearder lines and deleted some redundant material | file | diff | annotate |
Wed, 20 Apr 2005 18:01:50 +0200 | quigley | Corrected the problem with the ATP directory. | file | diff | annotate |
Tue, 12 Apr 2005 11:08:25 +0200 | paulson | tweaks mainly to achieve sml/nj compatibility | file | diff | annotate |
Thu, 31 Mar 2005 19:29:26 +0200 | quigley | *** empty log message *** | file | diff | annotate |