| changeset 26852 | a31203f58b20 |
| parent 26841 | 6ac51a2f48e1 |
| child 28761 | 9ec4482c9201 |
--- 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 *}