src/HOL/Library/Zorn.thy
Thu, 03 Jul 2008 19:02:33 +0200 huffman fixed extremely slow proof of Chain_inits_DiffI
Tue, 03 Jun 2008 12:38:39 +0200 ballarin Tuned proof.
Wed, 07 May 2008 10:57:19 +0200 berghofe Adapted to encoding of sets as predicates
Mon, 17 Mar 2008 16:47:45 +0100 nipkow reorganization
Mon, 17 Mar 2008 11:42:46 +0100 nipkow More defns and thms
Fri, 14 Mar 2008 19:57:32 +0100 nipkow Added Order_Relation
Sun, 02 Mar 2008 15:02:06 +0100 nipkow Generalized Zorn and added well-ordering theorem
Tue, 18 Dec 2007 14:37:00 +0100 haftmann switched from PreList to ATP_Linkup
Mon, 10 Dec 2007 11:24:09 +0100 haftmann switched import from Main to PreList
Wed, 11 Jul 2007 11:28:13 +0200 berghofe Adapted to new inductive definition package.
Fri, 17 Nov 2006 02:20:03 +0100 wenzelm more robust syntax for definition/abbreviation/notation;
Sat, 27 May 2006 17:42:02 +0200 wenzelm tuned;
Thu, 05 Jan 2006 22:29:55 +0100 wenzelm replaced swap by contrapos_np;
Thu, 10 Nov 2005 17:31:44 +0100 paulson tidying
Wed, 31 Aug 2005 15:46:37 +0200 wenzelm tuned presentation;
Wed, 18 Aug 2004 11:09:40 +0200 nipkow import -> imports
Mon, 16 Aug 2004 14:22:27 +0200 nipkow New theory header syntax.
Thu, 06 May 2004 14:14:18 +0200 wenzelm tuned document;
Thu, 17 Oct 2002 10:56:00 +0200 paulson fixed comments and types
Sat, 31 Aug 2002 14:03:49 +0200 paulson converted Hyperreal/Zorn to Isar format and moved to Library
less more (0) tip