src/HOL/Library/Zorn.thy
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