--- a/src/Doc/Datatypes/document/root.tex Mon Oct 07 20:34:16 2013 +0200
+++ b/src/Doc/Datatypes/document/root.tex Mon Oct 07 20:54:55 2013 +0200
@@ -58,10 +58,10 @@
\begin{abstract}
\noindent
-This tutorial describes how to use the new package for defining datatypes and
-codatatypes in Isabelle/HOL. The package provides five main commands:
+This tutorial describes the new package for defining datatypes and codatatypes
+in Isabelle/HOL. The package provides four main commands:
\keyw{datatype\_new}, \keyw{codatatype}, \keyw{primrec\_new},
-\keyw{primcorecursive}, and \keyw{primcorec}. The commands suffixed by
+and \keyw{primcorec}. The commands suffixed by
\keyw{\_new} are intended to subsume, and eventually replace, the corresponding
commands from the old datatype package.
\end{abstract}