src/HOL/ROOT

--- a/src/HOL/ROOT	Wed Apr 30 13:11:24 2014 +0200
+++ b/src/HOL/ROOT	Wed Apr 30 22:34:11 2014 +0200
@@ -5,7 +5,9 @@
     Classical Higher-order Logic.
   *}
   options [document_graph]
-  theories Complex_Main
+  global_theories
+    Main
+    Complex_Main
   files
     "Tools/Quickcheck/Narrowing_Engine.hs"
     "Tools/Quickcheck/PNF_Narrowing_Engine.hs"