| Fri, 07 Jul 2000 18:27:47 +0200 | nipkow | added type classes to constant's type | 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:45:32 +0100 | paulson | tidied | file | diff | annotate |
| Tue, 04 Aug 1998 18:40:18 +0200 | wenzelm | added LocaleGroup, PiSets examples; | file | diff | annotate |