| Tue, 07 Mar 2006 16:45:04 +0100 | paulson | Tidying, and getting rid of SELECT_GOAL (as it does something different now) | changeset | files |
| Tue, 07 Mar 2006 16:03:31 +0100 | obua | Added HOL-ZF to Isabelle. | changeset | files |
| Tue, 07 Mar 2006 14:09:48 +0100 | haftmann | substantial improvement in codegen iml | changeset | files |
| Tue, 07 Mar 2006 04:06:02 +0100 | mengj | Function get_clasimp_atp_lemmas gets all lemmas from claset, simpet and atpset. | changeset | files |
| Tue, 07 Mar 2006 04:04:21 +0100 | mengj | relevance_filter takes input axioms as Term.term. | changeset | files |
| Tue, 07 Mar 2006 04:01:25 +0100 | mengj | Proof reconstruction now only takes names of theorems as input. | changeset | files |
| Tue, 07 Mar 2006 03:59:48 +0100 | mengj | Added tptp_write_file to write all necessary ATP input clauses to one file. | changeset | files |