Extracted generic lattice stuff to new Lattice_Locales.thy
Extracted generic lattice stuff to new Lattice_Locales.thy

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle