diff -r 2f923e994056 -r 3c55bfad22eb src/ZF/ROOT
--- a/src/ZF/ROOT	Wed Jul 18 14:07:31 2012 +0200
+++ b/src/ZF/ROOT	Wed Jul 18 16:24:16 2012 +0200
@@ -1,5 +1,4 @@
-session ZF in "." = FOL +
-  name ZF
+session ZF! in "." = FOL +
   description {*
     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     Copyright   1995  University of Cambridge