| Fri, 24 Jul 1998 17:18:15 +0200 | nipkow | Map.update -> map_upd, Unpdate.update -> fun_upd | file | diff | annotate |
| Tue, 23 Jun 1998 18:06:50 +0200 | nipkow | Replaced [ := ] syntax by ( := ). | file | diff | annotate |
| Wed, 06 May 1998 13:01:30 +0200 | paulson | Removed some traces of UNITY | file | diff | annotate |
| Tue, 05 May 1998 17:28:22 +0200 | paulson | New syntax for function update; moved to main HOL directory | file | diff | annotate |