src/HOL/Complete_Lattice.thy
2009-08-28 nipkow 2009-08-28 Turned "x <= y ==> sup x y = y" (and relatives) into simp rules
2009-07-22 haftmann 2009-07-22 moved complete_lattice &c. into separate theory