more honest 'primcorec' -- don't parse a theorem name that is then ignored
more honest 'primcorec' -- don't parse a theorem name that is then ignored

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