--- a/src/ZF/ROOT Thu Jul 19 14:15:08 2012 +0200
+++ b/src/ZF/ROOT Thu Jul 19 14:24:40 2012 +0200
@@ -1,4 +1,4 @@
-session ZF! in "." = FOL +
+session ZF! (10) in "." = FOL +
description {*
Author: Lawrence C Paulson, Cambridge University Computer Laboratory
Copyright 1995 University of Cambridge