src/Doc/Corec/document/root.tex

 \begin{abstract}
 \noindent
 This tutorial describes the definitional package for nonprimitively corecursive functions
 in Isabelle/HOL. The following commands are provided:
 \keyw{corec}, \keyw{corecursive}, \keyw{friend\_of\_corec}, and \keyw{coinduction\_\allowbreak upto}.
-They supplement \keyw{codatatype}, \keyw{primcorec}, and \keyw{primcorecursive}, which
+They supplement \keyw{codatatype}, \keyw{primcorec}, and \keyw{primco\-rec\-ur\-sive}, which
 define codatatypes and primitively corecursive functions.
 \end{abstract}
 \end{sloppy}
 
 \tableofcontents