
diff -r 6150cf05f729 -r 9e4bb60f8007 src/Doc/Functions/document/root.tex
--- 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,




