| Tue, 09 Jan 2001 15:32:27 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Fri, 15 Sep 2000 12:39:57 +0200 | paulson | renamed (most of...) the select rules | file | diff | annotate |
| Thu, 29 Jun 2000 12:19:27 +0200 | paulson | tidied proofs using default rule equalityCE | file | diff | annotate |
| Mon, 16 Nov 1998 10:36:30 +0100 | paulson | moved some facts about Pi from ex/PiSets to Fun.ML | 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:44:24 +0100 | paulson | Big simplification of proofs. | file | diff | annotate |
| Mon, 21 Sep 1998 23:12:31 +0200 | oheimb | added wrapper for bspec | 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 |