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