separate term_of function for integers -- more canonical representation of negative integers
separate term_of function for integers -- more canonical representation of negative integers

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