doc-src/Tutorial/tutorial.tex

 
 \subsubsection*{Acknowledgements}
 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
 
 \input{basics}
 \input{fp}