updated examples to include an instance of (lexicographic_order simp:...)
updated examples to include an instance of (lexicographic_order simp:...)

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