diff -r 0242c9c980df -r a31203f58b20 doc-src/IsarRef/Thy/document/HOLCF_Specific.tex
--- a/doc-src/IsarRef/Thy/document/HOLCF_Specific.tex	Thu May 08 14:52:07 2008 +0200
+++ b/doc-src/IsarRef/Thy/document/HOLCF_Specific.tex	Thu May 08 22:05:15 2008 +0200
@@ -20,7 +20,7 @@
 %
 \endisadelimtheory
 %
-\isamarkupchapter{HOLCF specific elements%
+\isamarkupchapter{Isabelle/HOLCF \label{ch:holcf}%
 }
 \isamarkuptrue%
 %