| Thu, 12 Oct 2000 18:38:23 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Fri, 13 Nov 1998 13:29:04 +0100 | paulson | moved Pi and -> (renamed funcset) to Fun.thy | 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 |