| Tue, 07 Mar 2006 18:02:11 +0100 | obua | added ROOT.ML | changeset | files |
| Tue, 07 Mar 2006 16:50:33 +0100 | paulson | Indentation | changeset | files |
| Tue, 07 Mar 2006 16:49:48 +0100 | paulson | Tidying and restructuring. | changeset | files |
| Tue, 07 Mar 2006 16:49:12 +0100 | paulson | Tidying and tracing. Handling exn CLAUSE so that errors don't reach top-level. | changeset | files |
| 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 |