(* Title: HOL/Lattice/ROOT.ML Author: Markus Wenzel, TU Muenchen Basic theory of lattices and orders. *) use_thys ["CompleteLattice"];