| Mon, 21 Sep 1998 10:43:54 +0200 | paulson | Unary minus is now #- and not #~ | file | diff | annotate |
| Tue, 15 Sep 1998 15:06:29 +0200 | paulson | revised treatment of integers | file | diff | annotate |
| Fri, 24 Jul 1998 17:55:57 +0200 | wenzelm | added ex/MonoidGroups (record example); | file | diff | annotate |