--- a/src/Doc/Functions/document/root.tex Tue Jul 30 15:45:01 2013 +0200
+++ b/src/Doc/Functions/document/root.tex Tue Jul 30 16:22:39 2013 +0200
@@ -59,7 +59,7 @@
\maketitle
\begin{abstract}
- This tutorial describes the use of the new \emph{function} package,
+ This tutorial describes the use of the \emph{function} package,
which provides general recursive function definitions for Isabelle/HOL.
We start with very simple examples and then gradually move on to more
advanced topics such as manual termination proofs, nested recursion,