doc-src/IsarRef/Thy/document/ZF_Specific.tex

--- a/doc-src/IsarRef/Thy/document/ZF_Specific.tex	Thu May 08 14:52:07 2008 +0200
+++ b/doc-src/IsarRef/Thy/document/ZF_Specific.tex	Thu May 08 22:05:15 2008 +0200
@@ -20,7 +20,7 @@
 %
 \endisadelimtheory
 %
-\isamarkupchapter{ZF specific elements%
+\isamarkupchapter{Isabelle/ZF \label{ch:zf}%
 }
 \isamarkuptrue%
 %