(* Title: LatPreInsts.thy ID: $Id$ Author: Markus Wenzel, TU Muenchen *) LatPreInsts = OrdInsts + Lattice + CLattice