replaced obsolete diff_right_cancel by diff_diff_eq
replaced obsolete diff_right_cancel by diff_diff_eq

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