--- a/src/Pure/ROOT.ML Thu Mar 07 16:59:12 2019 +0000
+++ b/src/Pure/ROOT.ML Fri Mar 08 17:05:23 2019 +0100
@@ -206,6 +206,7 @@
ML_file "Isar/keyword.ML";
ML_file "Isar/token.ML";
ML_file "Isar/parse.ML";
+ML_file "Thy/document_source.ML";
ML_file "Thy/thy_header.ML";
(*proof context*)