Attrib.eval_thms; Syntax.parse/check;
Attrib.eval_thms;
Syntax.parse/check;

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