--- a/src/ZF/ex/misc.thy Sun Nov 02 16:09:35 2014 +0100
+++ b/src/ZF/ex/misc.thy Sun Nov 02 16:39:54 2014 +0100
@@ -5,7 +5,7 @@
Composition of homomorphisms, Pastre's examples, ...
*)
-header{*Miscellaneous ZF Examples*}
+section{*Miscellaneous ZF Examples*}
theory misc imports Main begin