| Fri, 03 Mar 2000 18:22:53 +0100 | paulson | improved reasoning about {} and UNIV | changeset | files |
| Fri, 03 Mar 2000 02:00:43 +0100 | wenzelm | join_rules: compatibility check; | changeset | files |
| 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 |