Locally added definition of "int :: nat => int" again to make code generation work.
Locally added definition of "int :: nat => int" again to make
code generation work.

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