diff -r f3bbb9ca57d6 -r f8c1a5b9488f src/FOL/ROOT
--- a/src/FOL/ROOT	Wed Aug 08 15:58:40 2012 +0200
+++ b/src/FOL/ROOT	Wed Aug 08 17:49:56 2012 +0200
@@ -1,10 +1,10 @@
-session FOL! in "." = Pure +
+session FOL = Pure +
   description "First-Order Logic with Natural Deduction"
   options [proofs = 2]
   theories FOL
   files "document/root.tex"
 
-session ex = FOL +
+session "FOL-ex" in ex = FOL +
   theories
     First_Order_Logic
     Natural_Numbers