| 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 |
| Tue, 28 Feb 2006 11:09:29 +0100 | paulson | fixed but in freeze_spec | changeset | files |
| Tue, 28 Feb 2006 11:07:54 +0100 | paulson | splitting up METAHYPS into smaller functions | changeset | files |
| Tue, 28 Feb 2006 11:07:13 +0100 | paulson | typos | changeset | files |