| Wed, 19 Apr 2006 10:42:45 +0200 | paulson | the "th" field of type "clause" | changeset | files |
| 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 |