Fully qualified refl and trans to avoid confusion with theorems in Lattice_Locales.partial_order.
Fully qualified refl and trans to avoid confusion with theorems
in Lattice_Locales.partial_order.

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