added lemmas rel_comp_UNION_distrib(2)
added lemmas rel_comp_UNION_distrib(2)

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