renamed trans_rtrancl to rtrancl_trans and modified it by expanding trans.
renamed trans_rtrancl to rtrancl_trans and modified it by expanding trans.

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