Removed setsubgoaler hack (thanks to strengthened finsum_cong).
Removed setsubgoaler hack (thanks to strengthened finsum_cong).

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