--- a/doc-src/TutorialI/tutorial.tex Mon Mar 19 10:37:47 2001 +0100
+++ b/doc-src/TutorialI/tutorial.tex Mon Mar 19 12:38:36 2001 +0100
@@ -77,8 +77,8 @@
\subsubsection*{Acknowledgements}
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
-and Markus Wenzel. Stephan Merz was also kind enough to
+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.
\clearfirst