--- a/src/Doc/Corec/document/root.tex Tue Mar 29 10:57:02 2016 +0200
+++ b/src/Doc/Corec/document/root.tex Tue Mar 29 17:42:43 2016 +0200
@@ -75,8 +75,8 @@
\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\_upto}.
-They complement \keyw{codatatype}, \keyw{primcorec}, and \keyw{primcorecursive}, which
+\keyw{corec}, \keyw{corecursive}, \keyw{friend\_of\_corec}, and \keyw{coinduction\_\allowbreak upto}.
+They supplement \keyw{codatatype}, \keyw{primcorec}, and \keyw{primcorecursive}, which
define codatatypes and primitively corecursive functions.
\end{abstract}
\end{sloppy}