src/Pure/Thy/thy_header.ML
2007-09-27 wenzelm 2007-09-27 read: explicit treatment of scanner failure;
2007-09-15 wenzelm 2007-09-15 removed redundant OuterLex.make_lexicon;
2007-07-19 wenzelm 2007-07-19 tuned signature;
2007-07-09 wenzelm 2007-07-09 adapted OuterLex/T.source;
2007-01-19 wenzelm 2007-01-19 renamed Isar/thy_header.ML to Thy/thy_header.ML;