src/HOL/LOrder.thy
2006-11-15 haftmann 2006-11-15 added interpretation
2006-11-12 nipkow 2006-11-12 started reorgnization of lattice theories
2006-11-08 haftmann 2006-11-08 renamed Lattice_Locales to Lattices
2006-11-07 haftmann 2006-11-07 changed import order
2005-09-20 wenzelm 2005-09-20 tuned theory dependencies;
2005-02-10 nipkow 2005-02-10 Moved oderings from HOL into the new Orderings.thy
2004-08-18 nipkow 2004-08-18 import -> imports
2004-08-16 nipkow 2004-08-16 New theory header syntax.
2004-06-29 kleing 2004-06-29 license change to BSD
2004-05-11 obua 2004-05-11 changes made due to new Ring_and_Field theory