# HG changeset patch
# User urbanc
# Date 1210251127 -7200
# Node ID 0242c9c980df299833e834e9d8e67a26dc95546c
# Parent  d889d57445dcff95156e4406290a55ba47fd5045
slight tuning of the 1st paragraph

diff -r d889d57445dc -r 0242c9c980df doc-src/IsarAdvanced/Functions/intro.tex
--- 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