Fri, 25 Sep 1998 14:06:56 +0200 | paulson | Renaming of Integ/Integ.* to Integ/Int.*, and renaming of related constants | file | diff | annotate |
Thu, 24 Sep 1998 15:20:29 +0200 | paulson | added correctness proofs for arithmetic | file | diff | annotate |
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 |