| Fri, 03 Mar 2000 01:58:57 +0100 | wenzelm | token_trans: symbol length; | changeset | files |
| Thu, 02 Mar 2000 18:18:59 +0100 | wenzelm | join induct rules; | changeset | files |
| Thu, 02 Mar 2000 18:18:31 +0100 | wenzelm | added 'prolog' method; | changeset | files |
| Thu, 02 Mar 2000 18:18:10 +0100 | wenzelm | added freeze_all; | changeset | files |
| Thu, 02 Mar 2000 10:29:29 +0100 | paulson | polished version of the Allocator using Rename | changeset | files |
| Thu, 02 Mar 2000 10:26:22 +0100 | paulson | tidied the proofs of singleton_insert_inj_eq, singleton_insert_inj_eq' and | changeset | files |
| Wed, 01 Mar 2000 20:49:13 +0100 | wenzelm | project induct rule; | changeset | files |
| Wed, 01 Mar 2000 20:48:57 +0100 | wenzelm | tuned; | changeset | files |