src/HOL/Lattices.thy
2006-11-15 haftmann 2006-11-15 reworking of min/max lemmas
2006-11-12 nipkow 2006-11-12 started reorgnization of lattice theories
2006-11-08 haftmann 2006-11-08 renamed Lattice_Locales to Lattices