# HG changeset patch
# User blanchet
# Date 1381172095 -7200
# Node ID 1e4c845c1f182c52aaa06e6a4e559ea47d557298
# Parent  7bee26d970f0a4b37f8a1e26e2d18ba573574b9d
reword abstract

diff -r 7bee26d970f0 -r 1e4c845c1f18 src/Doc/Datatypes/document/root.tex
--- 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}