Thm.fold_terms; Syntax.mixfixT;
Thm.fold_terms;
Syntax.mixfixT;

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