Mon, 29 Nov 1999 11:21:30 +0100 | qed ""; | file | diff | annotate |
Thu, 06 Aug 1998 15:48:13 +0200 | even more tidying of Goal commands | file | diff | annotate |
Fri, 24 Jul 1998 17:55:57 +0200 | added ex/MonoidGroups (record example); | file | diff | annotate |