diff_eq_diff_less_eq' replaces diff_eq_diff_less_eq
diff_eq_diff_less_eq' replaces diff_eq_diff_less_eq

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