more consistent naming of type classes involving orderings (and lattices) -- c.f. NEWS
more consistent naming of type classes involving orderings (and lattices) -- c.f. NEWS

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