1.1 --- a/doc-src/IsarRef/Thy/HOLCF_Specific.thy	Thu May 08 14:52:07 2008 +0200
     1.2 +++ b/doc-src/IsarRef/Thy/HOLCF_Specific.thy	Thu May 08 22:05:15 2008 +0200
     1.3 @@ -4,7 +4,7 @@
     1.4  imports HOLCF
     1.5  begin
     1.6  
     1.7 -chapter {* HOLCF specific elements *}
     1.8 +chapter {* Isabelle/HOLCF \label{ch:holcf} *}
     1.9  
    1.10  section {* Mixfix syntax for continuous operations *}
    1.11