src/ZF/Induct/Rmap.thy
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