ZF/Fixedpt/coinduct: modified proof to suppress deep unification
ZF/Fixedpt/coinduct: modified proof to suppress deep unification

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