src/Pure/Syntax/simple_syntax.ML
2007-08-14 ago tuned;
2007-08-13 ago Lexicon.tokenize: do not appen EndToken yet;
2007-08-13 ago tuned comments;
2007-08-13 ago Simple syntax for types and terms --- for bootstrapping Pure.