| Fri, 17 Jan 1997 16:17:31 +0100 | paulson | New rewrites for bounded quantifiers | changeset | files |
| Fri, 17 Jan 1997 13:21:54 +0100 | nipkow | This is the old version og MiniML for the monomorphic case. | changeset | files |
| Fri, 17 Jan 1997 13:16:36 +0100 | nipkow | Modified some defs and shortened proofs. | changeset | files |
| Fri, 17 Jan 1997 12:49:31 +0100 | paulson | Now with Andy Gordon's treatment of freshness to replace newN/K | changeset | files |