--- a/doc-src/Tutorial/tutorial.tex Tue May 04 18:11:35 1999 +0200
+++ b/doc-src/Tutorial/tutorial.tex Tue May 04 18:27:36 1999 +0200
@@ -55,7 +55,7 @@
This tutorial owes a lot to the constant discussions with and the valuable
feedback from Larry Paulson and the Isabelle group at Munich: Olaf M\"uller,
Wolfgang Naraschewski, David von Oheimb, Leonor Prensa Nieto, Cornelia Pusch
-and Markus Wenzel. Stefan Berghofer and Stefan Merz were also kind enough to
+and Markus Wenzel. Stefan Berghofer and Stephan Merz were also kind enough to
read and comment on a draft version.
\clearfirst