| Fri, 17 Jan 1997 18:35:44 +0100 | nipkow | Algorithm I has not been ported to the polymorphic version yet. | changeset | files |
| Fri, 17 Jan 1997 18:32:24 +0100 | nipkow | Updated documentation pointers. | changeset | files |
| Fri, 17 Jan 1997 18:20:22 +0100 | wenzelm | added gen_overwrite; | changeset | files |
| Fri, 17 Jan 1997 18:19:57 +0100 | wenzelm | addsimps, addeqcongs: replaced @ by gen_union; | changeset | files |
| Fri, 17 Jan 1997 16:58:59 +0100 | nipkow | Incorporated Larry's changes. | changeset | files |
| 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 |