src/HOL/ROOT
changeset 56801 8dd9df88f647
parent 56781 f2eb0f22589f
child 56815 848d507584db
     1.1 --- a/src/HOL/ROOT	Wed Apr 30 13:11:24 2014 +0200
     1.2 +++ b/src/HOL/ROOT	Wed Apr 30 22:34:11 2014 +0200
     1.3 @@ -5,7 +5,9 @@
     1.4      Classical Higher-order Logic.
     1.5    *}
     1.6    options [document_graph]
     1.7 -  theories Complex_Main
     1.8 +  global_theories
     1.9 +    Main
    1.10 +    Complex_Main
    1.11    files
    1.12      "Tools/Quickcheck/Narrowing_Engine.hs"
    1.13      "Tools/Quickcheck/PNF_Narrowing_Engine.hs"