--- a/doc-src/IsarAdvanced/Functions/intro.tex Thu May 08 12:31:30 2008 +0200
+++ b/doc-src/IsarAdvanced/Functions/intro.tex Thu May 08 14:52:07 2008 +0200
@@ -1,9 +1,9 @@
\section{Introduction}
-In the upcoming release of Isabelle 2007, new facilities for recursive
-function definitions \cite{krauss2006} will be available, providing
+Since the release of Isabelle 2007, new facilities for recursive
+function definitions~\cite{krauss2006} are available. They provide
better support for general recursive definitions than previous
-packages did. But despite all tool support, function definitions can
+packages. But despite all tool support, function definitions can
sometimes be a difficult thing.
This tutorial is an example-guided introduction to the practical use