src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Sat Jun 25 10:27:42 2022 +0200
+++ b/src/Pure/ROOT.ML	Sat Jun 25 13:19:15 2022 +0200
@@ -300,6 +300,8 @@
 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*)