--- a/src/Pure/ROOT.ML Wed Oct 20 16:36:49 2021 +0200
+++ b/src/Pure/ROOT.ML Wed Oct 20 16:45:10 2021 +0200
@@ -240,7 +240,7 @@
ML_file "ML/ml_context.ML";
ML_file "ML/ml_antiquotation.ML";
ML_file "ML/ml_compiler2.ML";
-ML_file "ML/ml_antiquotations1.ML";
+ML_file "ML/ml_antiquotations.ML";
section "Bootstrap phase 3: towards theory Pure and final ML toplevel setup";
@@ -303,7 +303,6 @@
(*theory documents*)
ML_file "Thy/term_style.ML";
ML_file "Isar/outer_syntax.ML";
-ML_file "ML/ml_antiquotations2.ML";
ML_file "ML/ml_pid.ML";
ML_file "Thy/document_antiquotation.ML";
ML_file "Thy/document_output.ML";