1 (* Title: LatPreInsts.thy
2 ID: $Id$
3 Author: Markus Wenzel, TU Muenchen
4 *)
5
6 LatPreInsts = OrdInsts + Lattice + CLattice