src/HOL/Lattice/Bounds.thy
2010-04-16 wenzelm 2010-04-16 replaced generic 'hide' command by more conventional 'hide_class', 'hide_type', 'hide_const', 'hide_fact' -- frees some popular keywords;
2010-02-23 haftmann 2010-02-23 dropped axclass; dropped Id
2008-06-13 wenzelm 2008-06-13 hide (open);
2007-06-14 wenzelm 2007-06-14 tuned proofs: avoid implicit prems;
2007-06-13 wenzelm 2007-06-13 tuned proofs: avoid implicit prems;
2007-03-16 haftmann 2007-03-16 dropped superfluous hide
2007-03-09 haftmann 2007-03-09 resolved name clashes
2006-11-17 wenzelm 2006-11-17 more robust syntax for definition/abbreviation/notation;
2006-05-27 wenzelm 2006-05-27 tuned;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2001-04-24 paulson 2001-04-24 removal of image_Collect as a default simprule
2001-01-09 nipkow 2001-01-09 *** empty log message ***
2000-10-06 wenzelm 2000-10-06 * HOL/Lattice: fundamental concepts of lattice theory and order structures;