# HG changeset patch
# User wenzelm
# Date 1491920281 -7200
# Node ID db182761051301f813715f9b9509dac3356c6e60
# Parent  b6c2e30dc018d699aa6531b4376490c8f5656d2a
less global theories -- conflict with AFP entries;

diff -r b6c2e30dc018 -r db1827610513 src/HOL/ROOT
--- a/src/HOL/ROOT	Tue Apr 11 16:01:29 2017 +0200
+++ b/src/HOL/ROOT	Tue Apr 11 16:18:01 2017 +0200
@@ -60,7 +60,7 @@
 
 session "HOL-Analysis" (main timing) in Analysis = HOL +
   theories
-    Analysis (global)
+    Analysis
   document_files
     "root.tex"
 
@@ -830,7 +830,7 @@
 
 session "HOL-Word" (main timing) in Word = HOL +
   theories
-    Word (global)
+    Word
   document_files "root.bib" "root.tex"
 
 session "HOL-Word-Examples" in "Word/Examples" = "HOL-Word" +