src/Pure/Isar/thy_header.ML
2000-06-25 ago Theory headers (old and new-style).