# HG changeset patch
# User nipkow
# Date 999505732 -7200
# Node ID bdac4a14b3504a69e894fb31edfae851d8cf05fb
# Parent  2b3f02227c356c49f2e5f2f00a005a2347963b30
*** empty log message ***

diff -r 2b3f02227c35 -r bdac4a14b350 doc-src/TutorialI/preface.tex
--- a/doc-src/TutorialI/preface.tex	Sat Sep 01 00:20:44 2001 +0200
+++ b/doc-src/TutorialI/preface.tex	Mon Sep 03 10:28:52 2001 +0200
@@ -22,13 +22,16 @@
 derived almost entirely from output generated in this way.
 
 This tutorial owes a lot to the constant discussions with and the valuable
-feedback from the Isabelle group at Munich: Stefan Berghofer, Olaf M{\"u}ller,
-Wolfgang Naraschewski, David von Oheimb, Leonor Prensa Nieto, Cornelia Pusch,
-Martin Strecker and Markus Wenzel. Stephan Merz was also kind enough to
-read and comment on a draft version.  We received comments from Stefano
-Bistarelli, Gergely Buday and Tanja Vos.\REMARK{incomplete list!}
+feedback from the Isabelle group at Munich: Stefan Berghofer, Olaf
+M{\"u}ller, Wolfgang Naraschewski, David von Oheimb, Leonor Prensa Nieto,
+Cornelia Pusch, Norbert Schirmer, Martin Strecker and Markus Wenzel. Stephan
+Merz was also kind enough to read and comment on a draft version.  We
+received comments from Stefano Bistarelli, Gergely Buday and Tanja
+Vos.\REMARK{incomplete list!}
 
-The research has been funded by many sources, including the {\sc epsrc} 
-grants  GR\slash K57381, GR\slash K77051,
-GR\slash M75440, GR\slash R01156\slash 01 and by the \textsc{esprit} 
-working groups 21900 and IST-1999-29001 (the \emph{Types} project).
+The research has been funded by many sources, including the {\sc dfg} grants
+Ni~491/2, Ni~491/3, Ni~491/4 and the {\sc epsrc} grants GR\slash K57381,
+GR\slash K77051, GR\slash M75440, GR\slash R01156\slash 01 and by the
+\textsc{esprit} working groups 21900 and IST-1999-29001 (the \emph{Types}
+project).
+
diff -r 2b3f02227c35 -r bdac4a14b350 doc-src/TutorialI/tutorial.tex
--- a/doc-src/TutorialI/tutorial.tex	Sat Sep 01 00:20:44 2001 +0200
+++ b/doc-src/TutorialI/tutorial.tex	Mon Sep 03 10:28:52 2001 +0200
@@ -39,7 +39,14 @@
 
 \pagenumbering{roman}
 \setcounter{page}{5}
-
+\vspace*{\fill}
+\begin{center}
+\LARGE In memoriam Annette Schumann\\[1ex]
+1959 -- 2001
+\end{center}
+\vspace*{\fill}
+\vspace*{\fill}
+\newpage
 \input{preface}
 
 \tableofcontents