--- a/src/FOL/ROOT Wed Apr 30 13:11:24 2014 +0200
+++ b/src/FOL/ROOT Wed Apr 30 22:34:11 2014 +0200
@@ -15,7 +15,9 @@
Michael Dummett, Elements of Intuitionism (Oxford, 1977)
*}
- theories FOL
+ global_theories
+ IFOL
+ FOL
document_files "root.tex"
session "FOL-ex" in ex = FOL +