separate library theory for type classes combining lattices with various algebraic structures; c.f. cs. 7efe662e41b4
separate library theory for type classes combining lattices with various algebraic structures; c.f. cs. 7efe662e41b4

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