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