optimize continuity proofs in fixrec package, using cont2cont rules
optimize continuity proofs in fixrec package, using cont2cont rules

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