moved appl syntax to PureThy; structure Lexicon: not hidden;
moved appl syntax to PureThy;
structure Lexicon: not hidden;

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