src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Thu Dec 21 17:07:03 2023 +0100
+++ b/src/Pure/ROOT.ML	Thu Dec 21 21:03:02 2023 +0100
@@ -176,6 +176,7 @@
 ML_file "theory.ML";
 ML_file "term_sharing.ML";
 ML_file "term_xml.ML";
+ML_file "thm_name.ML";
 ML_file "zterm.ML";
 ML_file "proofterm.ML";
 ML_file "thm.ML";
@@ -185,7 +186,6 @@
 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";