src/HOL/Lattice/CompleteLattice.thy
2010-02-23 haftmann 2010-02-23 dropped axclass; dropped Id
2007-11-27 wenzelm 2007-11-27 Knaster_Tarski: turned into Isar statement, tuned proofs;
2007-11-26 wenzelm 2007-11-26 some more lemmas due to Peter Lammich;
2007-06-13 wenzelm 2007-06-13 tuned proofs: avoid implicit prems;
2006-11-17 wenzelm 2006-11-17 more robust syntax for definition/abbreviation/notation;
2006-11-07 wenzelm 2006-11-07 renamed 'const_syntax' to 'notation';
2006-05-27 wenzelm 2006-05-27 tuned;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2001-12-06 wenzelm 2001-12-06 tuned;
2001-11-09 wenzelm 2001-11-09 eliminated old "symbols" syntax, use "xsymbols" instead;
2001-07-22 wenzelm 2001-07-22 replaced SOME by THE;
2001-02-12 wenzelm 2001-02-12 \<subseteq>;
2001-01-09 nipkow 2001-01-09 *** empty log message ***
2000-10-23 wenzelm 2000-10-23 intro_classes by default;
2000-10-10 wenzelm 2000-10-10 tuned;
2000-10-09 wenzelm 2000-10-09 tuned text;
2000-10-09 nipkow 2000-10-09 ex_someI -> someI_ex
2000-10-06 wenzelm 2000-10-06 * HOL/Lattice: fundamental concepts of lattice theory and order structures;