src/Pure/ROOT

--- a/src/Pure/ROOT	Tue Apr 04 19:51:56 2017 +0200
+++ b/src/Pure/ROOT	Tue Apr 04 21:05:07 2017 +0200
@@ -5,7 +5,6 @@
     The Pure logical framework
   *}
   options [threads = 1]
-  global_theories
-    Pure
   theories
+    Pure (global)
     ML_Bootstrap