# HG changeset patch
# User wenzelm
# Date 1491817815 -7200
# Node ID b2562bdda54e990672fe5c67da0eee6c3388e6ec
# Parent  9e9750a7932c2b893334ba94b02a8e83e38effa5
tuned text;

diff -r 9e9750a7932c -r b2562bdda54e src/ZF/ZF.thy
--- a/src/ZF/ZF.thy	Mon Apr 10 11:29:47 2017 +0200
+++ b/src/ZF/ZF.thy	Mon Apr 10 11:50:15 2017 +0200
@@ -1,4 +1,4 @@
-section\<open>Theory Main: Everything Except AC\<close>
+section\<open>Main ZF Theory: Everything Except AC\<close>
 
 theory ZF imports List_ZF IntDiv_ZF CardinalArith begin