add_primrec(_i): attributes; outer syntax for 'primrec';
add_primrec(_i): attributes;
outer syntax for 'primrec';

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