| Tue, 07 Mar 2006 16:47:51 +0100 | paulson | Tidying. clausify_rules_pairs_abs now returns clauses in the same order as before. | changeset | files |
| Tue, 07 Mar 2006 16:46:54 +0100 | paulson | Tidying. New invoke_atp_ml for top-level debugging. Flag to force FOL mode. | changeset | files |
| 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 |