src/HOL/Lattices.thy
2006-12-10 nipkow 2006-12-10 Modified lattice locale
2006-12-01 haftmann 2006-12-01 stripped some legacy bindings
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