Simprocs for type "nat" no longer introduce numerals unless
Simprocs for type "nat" no longer introduce numerals unless

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