src/HOL/Algebra/Lattice.thy
2007-02-07 berghofe 2007-02-07 Adapted to changes in Finite_Set theory.
2007-01-12 ballarin 2007-01-12 Reverted to structure representation with records.
2006-12-22 ballarin 2006-12-22 Experimenting with interpretations of "definition".
2006-12-05 wenzelm 2006-12-05 removed duplicate abbreviations (implicit inheritance);
2006-11-17 wenzelm 2006-11-17 more robust syntax for definition/abbreviation/notation;
2006-10-18 ballarin 2006-10-18 Stylistic improvements.
2006-10-16 ballarin 2006-10-16 Order and lattice structures no longer based on records.
2006-08-03 ballarin 2006-08-03 Restructured algebra library, added ideals and quotient rings.
2006-07-04 ballarin 2006-07-04 Method intro_locales replaced by intro_locales and unfold_locales.
2006-06-20 ballarin 2006-06-20 Restructured locales with predicates: import is now an interpretation. New method intro_locales.
2006-06-06 ballarin 2006-06-06 Improved parameter management of locales.
2006-03-18 haftmann 2006-03-18 renamed constant less in lattice
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2005-06-08 ballarin 2005-06-08 Fixed "axiom" generation for mixed locales with and without predicates.
2004-11-24 nipkow 2004-11-24 mod because of change in finite set induction
2004-05-14 ballarin 2004-05-14 Change of theory hierarchy: Group is now based in Lattice.
2004-05-06 wenzelm 2004-05-06 tuned document;
2004-05-01 wenzelm 2004-05-01 improved syntax;
2004-04-23 wenzelm 2004-04-23 improved notation;
2004-04-22 wenzelm 2004-04-22 improved notation;
2004-04-16 wenzelm 2004-04-16 tuned document;
2004-04-13 ballarin 2004-04-13 Various changes to HOL-Algebra; Locale instantiation.