src/HOL/ROOT

--- a/src/HOL/ROOT	Tue Apr 04 19:51:56 2017 +0200
+++ b/src/HOL/ROOT	Tue Apr 04 21:05:07 2017 +0200
@@ -4,9 +4,9 @@
   description {*
     Classical Higher-order Logic.
   *}
-  global_theories
-    Main
-    Complex_Main
+  theories
+    Main (global)
+    Complex_Main (global)
   files
     "Tools/Quickcheck/Narrowing_Engine.hs"
     "Tools/Quickcheck/PNF_Narrowing_Engine.hs"