Wed, 07 Sep 2005 18:14:26 +0200 | paulson | Progress on eprover linkup, also massive tidying | file | diff | annotate |
Wed, 07 Sep 2005 09:54:31 +0200 | paulson | axioms now included in tptp files, no /bin/cat and various tidying | file | diff | annotate |
Fri, 02 Sep 2005 21:29:55 +0200 | quigley | Added ECommunication.ML | file | diff | annotate |