--- a/src/Pure/ROOT.ML Mon Aug 19 18:47:49 2019 +0200
+++ b/src/Pure/ROOT.ML Mon Aug 19 19:12:44 2019 +0200
@@ -175,6 +175,7 @@
ML_file "more_thm.ML";
ML_file "facts.ML";
+ML_file "thm_name.ML";
ML_file "global_theory.ML";
ML_file "pure_thy.ML";
ML_file "drule.ML";