src/Pure/Thy/thy_header.ML
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;