more renaming of theorems from _nat to _int (corresponding to a function that was similarly renamed some time ago
more renaming of theorems from _nat to _int (corresponding to a function that
was similarly renamed some time ago

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