set code and nitpick_simp attributes on primcorec theorems
set code and nitpick_simp attributes on primcorec theorems

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