src/Pure/Syntax/simple_syntax.ML
2007-08-30 wenzelm 2007-08-30 tuned;
2007-08-14 wenzelm 2007-08-14 tuned;
2007-08-13 wenzelm 2007-08-13 Lexicon.tokenize: do not appen EndToken yet; term: include var, &&;
2007-08-13 wenzelm 2007-08-13 tuned comments;
2007-08-13 wenzelm 2007-08-13 Simple syntax for types and terms --- for bootstrapping Pure.