| Wed, 01 Mar 2006 06:06:16 +0100 | mengj | Added file Tools/res_atpset.ML. | changeset | files |
| Wed, 01 Mar 2006 06:05:25 +0100 | mengj | Merged HOL and FOL clauses and combined some functions. | changeset | files |
| Wed, 01 Mar 2006 05:56:53 +0100 | mengj | A new file that sets up rules set used by ATPs. Rules are added to and removed from the set using "atp" attribute. | changeset | files |
| Wed, 01 Mar 2006 00:04:52 +0100 | urbanc | some minor tuning on the proofs | changeset | files |
| Tue, 28 Feb 2006 12:28:22 +0100 | urbanc | initial commit (especially 2nd half needs to be cleaned up) | changeset | files |
| Tue, 28 Feb 2006 11:10:51 +0100 | paulson | removal of theory blacklist | changeset | files |
| Tue, 28 Feb 2006 11:09:50 +0100 | paulson | new order for arity clauses | changeset | files |