--- a/src/Pure/ROOT0.ML Mon Jul 13 21:20:36 2020 +0200
+++ b/src/Pure/ROOT0.ML Mon Jul 13 22:07:18 2020 +0200
@@ -1,5 +1,7 @@
(*** Isabelle/Pure bootstrap: initial setup ***)
+ML_file "ML/ml_statistics.ML";
+
ML_file "General/exn.ML";
ML_file "General/output_primitives.ML";