
diff -r 0242c9c980df -r a31203f58b20 doc-src/IsarRef/Thy/HOLCF_Specific.thy
--- a/doc-src/IsarRef/Thy/HOLCF_Specific.thy	Thu May 08 14:52:07 2008 +0200
+++ b/doc-src/IsarRef/Thy/HOLCF_Specific.thy	Thu May 08 22:05:15 2008 +0200
@@ -4,7 +4,7 @@
 imports HOLCF
 begin
 
-chapter {* HOLCF specific elements *}
+chapter {* Isabelle/HOLCF \label{ch:holcf} *}
 
 section {* Mixfix syntax for continuous operations *}
 




