src/Pure/Isar/thy_header.ML
2005-10-21 wenzelm 2005-10-21 tuned header;
2005-10-19 wenzelm 2005-10-19 removed obsolete non-Isar theory format and old Isar theory headers;
2005-08-16 wenzelm 2005-08-16 P.tags;
2005-06-05 wenzelm 2005-06-05 new Isar header: reject ':', accept both 'files' and 'uses'; tuned;
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2004-08-18 nipkow 2004-08-18 import -> imports
2004-08-16 nipkow 2004-08-16 new theory header syntax.
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2002-01-23 wenzelm 2002-01-23 error "Unexpected end of input";
2000-06-25 wenzelm 2000-06-25 Theory headers (old and new-style).