moved congruence rule conj_cong2 to FOL/IFOL.ML
moved congruence rule conj_cong2 to FOL/IFOL.ML

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