| Wed, 19 Apr 2006 10:42:13 +0200 | paulson | tidying and reformatting | changeset | files |
| Wed, 19 Apr 2006 10:41:37 +0200 | paulson | tidying; ATP options including CASC mode for Vampire | changeset | files |
| Tue, 18 Apr 2006 05:38:18 +0200 | mengj | Take conjectures and axioms as thms when convert them to ResHolClause.clause format. | changeset | files |
| Tue, 18 Apr 2006 05:37:43 +0200 | mengj | Take conjectures and axioms as thms when convert them to ResClause.clause format. | changeset | files |
| Tue, 18 Apr 2006 05:36:38 +0200 | mengj | Tidied up some programs. | changeset | files |
| Sun, 16 Apr 2006 08:22:29 +0200 | haftmann | fixed typo | changeset | files |