2010-12-08 haftmann 2010-12-08 bot comes before top, inf before sup etc.
2010-12-08 haftmann 2010-12-08 nice syntax for lattice INFI, SUPR; various *_apply rules for lattice operations on fun; more default simplification rules
2010-03-14 wenzelm 2010-03-14 expose formal text;
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