| 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 |
| Fri, 24 Jul 1998 13:44:27 +0200 | berghofe | Adapted to new datatype package. | changeset | files |
| Fri, 24 Jul 1998 13:39:47 +0200 | berghofe | Renamed '$' to 'Scons' because of clashes with constants of the same | changeset | files |
| Fri, 24 Jul 1998 13:36:49 +0200 | berghofe | Added functions addIffs and delIffs which operate on clasimpsets. | changeset | files |