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 {*