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