Fixed bug in transformation of congruence rule for == (thanks to Andy Schropp for reporting this).
Fixed bug in transformation of congruence rule for ==
(thanks to Andy Schropp for reporting this).

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