1.1 --- a/doc-src/IsarRef/Thy/ZF_Specific.thy	Thu May 08 14:52:07 2008 +0200
     1.2 +++ b/doc-src/IsarRef/Thy/ZF_Specific.thy	Thu May 08 22:05:15 2008 +0200
     1.3 @@ -4,7 +4,7 @@
     1.4  imports ZF
     1.5  begin
     1.6  
     1.7 -chapter {* ZF specific elements *}
     1.8 +chapter {* Isabelle/ZF \label{ch:zf} *}
     1.9  
    1.10  section {* Type checking *}
    1.11