--- 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