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.
ROOT
changeset 76006 c9d56340b56e
parent 76004 152c5c83c119 
--- a/ROOT	Sat Aug 27 17:46:58 2022 +0200
+++ b/ROOT	Sat Aug 27 17:53:00 2022 +0200
@@ -6,18 +6,11 @@
     that of the HOL System (https://www.cl.cam.ac.uk/Research/HVG/HOL).
   "
 
-chapter_definition ZF
-  description "
-    Zermelo-Fraenkel set theory.
-
-    Isabelle/ZF offers a formulation of Zermelo-Fraenkel set theory on top of
-    Isabelle/FOL.
-  "
-
 chapter_definition FOL
   description "
     First-Order Logic with some variations: single-sorted vs. many-sorted
-    (polymorphic), classical vs. intuitionistic, domain-theory (LCF).
+    (polymorphic), classical vs. intuitionistic, domain-theory (LCF) vs.
+    set-theory (ZF).
   "
 
 chapter_definition Pure
isabelle