# HG changeset patch
# User wenzelm
# Date 1492703431 -7200
# Node ID 0d8a7013bf362c3ada896653db57fb0cc3f31cb6
# Parent  41dda3a292e6146a59b96c92b1dea208d624e480
more global theories;

diff -r 41dda3a292e6 -r 0d8a7013bf36 src/FOLP/ROOT
--- a/src/FOLP/ROOT	Thu Apr 20 17:45:42 2017 +0200
+++ b/src/FOLP/ROOT	Thu Apr 20 17:50:31 2017 +0200
@@ -10,7 +10,9 @@
     Presence of unknown proof term means that matching does not behave as expected.
   *}
   options [document = false]
-  theories FOLP
+  theories
+    IFOLP (global)
+    FOLP (global)
 
 session "FOLP-ex" in ex = FOLP +
   description {*
diff -r 41dda3a292e6 -r 0d8a7013bf36 src/ZF/ROOT
--- a/src/ZF/ROOT	Thu Apr 20 17:45:42 2017 +0200
+++ b/src/ZF/ROOT	Thu Apr 20 17:50:31 2017 +0200
@@ -43,7 +43,8 @@
     (North-Holland, 1980)
   *}
   theories
-    ZFC
+    ZF (global)
+    ZFC (global)
   document_files "root.tex"
 
 session "ZF-AC" (ZF) in AC = ZF +