doc-src/TutorialI/tutorial.tex
changeset 11213 aeb5c72dd72a
parent 11207 08188224c24e
child 11249 a0e3c67c1394
     1.1 --- a/doc-src/TutorialI/tutorial.tex	Mon Mar 19 10:37:47 2001 +0100
     1.2 +++ b/doc-src/TutorialI/tutorial.tex	Mon Mar 19 12:38:36 2001 +0100
     1.3 @@ -77,8 +77,8 @@
     1.4  \subsubsection*{Acknowledgements}
     1.5  This tutorial owes a lot to the constant discussions with and the valuable
     1.6  feedback from the Isabelle group at Munich: Stefan Berghofer, Olaf M{\"u}ller,
     1.7 -Wolfgang Naraschewski, David von Oheimb, Leonor Prensa Nieto, Cornelia Pusch
     1.8 -and Markus Wenzel. Stephan Merz was also kind enough to
     1.9 +Wolfgang Naraschewski, David von Oheimb, Leonor Prensa Nieto, Cornelia Pusch,
    1.10 +Martin Strecker and Markus Wenzel. Stephan Merz was also kind enough to
    1.11  read and comment on a draft version.
    1.12  \clearfirst
    1.13