diff -r 2d9c12eba726 -r 5a9a1985e9fb src/ZF/ROOT
--- a/src/ZF/ROOT	Fri Sep 16 15:21:21 2016 +0200
+++ b/src/ZF/ROOT	Fri Sep 16 15:54:50 2016 +0200
@@ -1,6 +1,6 @@
 chapter ZF
 
-session ZF (main ZF) = Pure +
+session ZF (main timing ZF) = Pure +
   description {*
     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     Copyright   1995  University of Cambridge
@@ -198,7 +198,7 @@
   options [document = false]
   theories Confluence
 
-session "ZF-UNITY" (ZF) in UNITY = ZF +
+session "ZF-UNITY" (timing ZF) in UNITY = ZF +
   description {*
     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     Copyright   1998  University of Cambridge