src/Pure/ROOT

--- a/src/Pure/ROOT	Wed Apr 06 11:57:21 2016 +0200
+++ b/src/Pure/ROOT	Wed Apr 06 14:02:12 2016 +0200
@@ -4,4 +4,4 @@
   global_theories
     Pure
   theories
-    ML_Root
+    ML_Bootstrap