| Tue, 28 Jul 1998 16:59:15 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 28 Jul 1998 16:36:32 +0200 | paulson | Tidied | changeset | files |
| 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 |
| 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 |
| Fri, 24 Jul 1998 17:20:55 +0200 | nipkow | update -> fun_upd | changeset | files |
| Fri, 24 Jul 1998 17:18:15 +0200 | nipkow | Map.update -> map_upd, Unpdate.update -> fun_upd | changeset | files |
| Fri, 24 Jul 1998 14:53:23 +0200 | wenzelm | added internal; | changeset | files |
| Fri, 24 Jul 1998 13:53:04 +0200 | berghofe | Adapted to new datatype package. | changeset | files |