eliminated dead code, together with spurious warning about congruence rule for "Fun.comp";
eliminated dead code, together with spurious warning about congruence rule for "Fun.comp";

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