moved appl syntax to PureThy; SimpleSyntax.read_typ/term/prop;
moved appl syntax to PureThy;
SimpleSyntax.read_typ/term/prop;

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