src/HOL/ex/PiSets.ML
Fri, 15 Sep 2000 12:39:57 +0200 paulson renamed (most of...) the select rules
Thu, 29 Jun 2000 12:19:27 +0200 paulson tidied proofs using default rule equalityCE
Mon, 16 Nov 1998 10:36:30 +0100 paulson moved some facts about Pi from ex/PiSets to Fun.ML
Fri, 13 Nov 1998 13:29:04 +0100 paulson moved Pi and -> (renamed funcset) to Fun.thy
Wed, 11 Nov 1998 15:44:24 +0100 paulson Big simplification of proofs.
Mon, 21 Sep 1998 23:12:31 +0200 oheimb added wrapper for bspec
Fri, 14 Aug 1998 12:03:01 +0200 paulson expandshort
Tue, 04 Aug 1998 18:40:18 +0200 wenzelm added LocaleGroup, PiSets examples;
less more (0) tip