src/ZF/Induct/Primrec.thy
Wed, 10 Jul 2002 16:54:07 +0200 paulson Fixed quantified variable name preservation for ball and bex (bounded quants)
Sat, 29 Dec 2001 18:36:12 +0100 wenzelm tuned document sources;
Thu, 20 Dec 2001 15:17:48 +0100 paulson converted some ZF/Induct examples to Isar
Wed, 07 Nov 2001 12:29:07 +0100 paulson reorganization of the ZF examples
less more (0) tip