src/ZF/ROOT

 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
 
     Zermelo-Fraenkel Set Theory. This theory is the work of Martin Coen,

     http://www.cl.cam.ac.uk/ftp/papers/reports/TR364-or200-church-rosser-isabelle.ps.gz
   *}
   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
 
     ZF/UNITY proofs.