src/ZF/Induct/Comb.thy
Thu, 15 Dec 2005 19:42:03 +0100 wenzelm improved proofs;
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Wed, 27 Apr 2005 16:41:03 +0200 paulson minor tidying
Tue, 19 Apr 2005 18:08:55 +0200 paulson syntax fix
Fri, 20 Sep 2002 11:49:38 +0200 paulson shortened a proof
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