src/HOL/Library/Lattice_Syntax.thy
2009-07-22 haftmann 2009-07-22 moved complete_lattice &c. into separate theory
2009-03-08 haftmann 2009-03-08 added top and bot syntax
2009-03-07 haftmann 2009-03-07 suppress document output
2009-03-06 haftmann 2009-03-06 theory with syntax for lattice operations