IntInf.divMod replaced by IntInf.div, IntInt.mod
IntInf.divMod replaced by IntInf.div, IntInt.mod

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