simplified result of keyword and symbols parser; some support for parsing outer syntax tokens;
simplified result of keyword and symbols parser;
some support for parsing outer syntax tokens;

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