| Tue, 28 Jul 1998 16:33:43 +0200 | paulson | Changed "goal" to "Goal" | changeset | files |
| Tue, 28 Jul 1998 16:30:56 +0200 | paulson | Updated examples | changeset | files |
| 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 |