| Fri, 11 Dec 1998 10:41:53 +0100 | paulson | new Close_locale synatx | file | diff | annotate |
| Thu, 12 Nov 1998 10:26:08 +0100 | paulson | changed inverse syntax from x-| to i(x) | file | diff | annotate |
| Wed, 11 Nov 1998 15:44:24 +0100 | paulson | Big simplification of proofs. | file | diff | annotate |
| Fri, 14 Aug 1998 12:03:01 +0200 | paulson | expandshort | file | diff | annotate |
| Tue, 04 Aug 1998 18:40:18 +0200 | wenzelm | added LocaleGroup, PiSets examples; | file | diff | annotate |