src/HOL/Library/Zorn.thy
2012-08-10 blanchet 2012-08-10 tuned proofs
2012-03-16 haftmann 2012-03-16 tuned specifications
2012-03-01 haftmann 2012-03-01 more fundamental pred-to-set conversions, particularly by means of inductive_set; associated consolidation of some theorem names (c.f. NEWS)
2011-12-28 wenzelm 2011-12-28 reverted some changes for set->predicate transition, according to "hg log -u berghofe -r Isabelle2007:Isabelle2008"; tuned proofs;
2011-09-12 nipkow 2011-09-12 new fastforce replacing fastsimp - less confusing name
2010-02-17 huffman 2010-02-17 fix more looping simp rules
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
2009-03-23 haftmann 2009-03-23 Main is (Complex_Main) base entry point in library theories
2009-03-02 nipkow 2009-03-02 name changes
2008-12-03 haftmann 2008-12-03 made repository layout more coherent with logical distribution structure; stripped some $Id$s
2008-07-03 huffman 2008-07-03 fixed extremely slow proof of Chain_inits_DiffI
2008-06-03 ballarin 2008-06-03 Tuned proof.
2008-05-07 berghofe 2008-05-07 Adapted to encoding of sets as predicates
2008-03-17 nipkow 2008-03-17 reorganization
2008-03-17 nipkow 2008-03-17 More defns and thms
2008-03-14 nipkow 2008-03-14 Added Order_Relation
2008-03-02 nipkow 2008-03-02 Generalized Zorn and added well-ordering theorem
2007-12-18 haftmann 2007-12-18 switched from PreList to ATP_Linkup
2007-12-10 haftmann 2007-12-10 switched import from Main to PreList
2007-07-11 berghofe 2007-07-11 Adapted to new inductive definition package.
2006-11-17 wenzelm 2006-11-17 more robust syntax for definition/abbreviation/notation;
2006-05-27 wenzelm 2006-05-27 tuned;
2006-01-05 wenzelm 2006-01-05 replaced swap by contrapos_np;
2005-11-10 paulson 2005-11-10 tidying
2005-08-31 wenzelm 2005-08-31 tuned presentation;
2004-08-18 nipkow 2004-08-18 import -> imports
2004-08-16 nipkow 2004-08-16 New theory header syntax.
2004-05-06 wenzelm 2004-05-06 tuned document;
2002-10-17 paulson 2002-10-17 fixed comments and types
2002-08-31 paulson 2002-08-31 converted Hyperreal/Zorn to Isar format and moved to Library