--- a/src/Pure/ROOT.ML Sat Jun 25 13:19:15 2022 +0200
+++ b/src/Pure/ROOT.ML Sat Jun 25 16:51:24 2022 +0200
@@ -300,8 +300,6 @@
ML_file "System/scala.ML";
ML_file "System/process_result.ML";
ML_file "System/isabelle_system.ML";
-ML_file "General/base64.ML";
-ML_file "General/xz.ML";
(*theory documents*)
@@ -347,6 +345,8 @@
subsection "Miscellaneous tools and packages for Pure Isabelle";
+ML_file "General/base64.ML";
+ML_file "General/xz.ML";
ML_file "Tools/build.ML";
ML_file "Tools/named_thms.ML";
ML_file "Tools/print_operation.ML";