src/Pure/Thy/thy_header.ML
2009-09-01 wenzelm 2009-09-01 modernized Thy_Header;
2009-01-21 wenzelm 2009-01-21 removed Ids;
2008-08-15 wenzelm 2008-08-15 args: explicit groups for file_name, theory_name;
2008-08-14 wenzelm 2008-08-14 P.doc_source and P.ml_sorce for proper SymbolPos.text;
2008-08-12 wenzelm 2008-08-12 Symbol.source/OuterLex.source: more explicit do_recover argument;
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;