added rtranclD, tranclD, irrefl_trancl_rD
added rtranclD, tranclD, irrefl_trancl_rD

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