| 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 |