Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/ZF/ROOT
changeset 63888 5a9a1985e9fb
parent 60107 aedbc0413d30
child 65449 c82e63b11b8b 
--- 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
isabelle