| Mon, 27 Jul 1998 17:38:55 +0200 | paulson | A little quantifier duplication for IFOL | changeset | files |
| Mon, 27 Jul 1998 16:04:20 +0200 | paulson | A few new lemmas by Mark Staples | changeset | files |
| Mon, 27 Jul 1998 11:29:33 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 27 Jul 1998 09:18:24 +0200 | nipkow | conversion bug in simpproc list_eq | changeset | files |
| Fri, 24 Jul 1998 17:55:57 +0200 | wenzelm | added ex/MonoidGroups (record example); | changeset | files |
| Fri, 24 Jul 1998 17:54:58 +0200 | wenzelm | added type and update syntax; | changeset | files |
| Fri, 24 Jul 1998 17:54:44 +0200 | wenzelm | added more_update; | changeset | files |