doc-src/Intro/intro.tex
changeset 1866 a1a41b4b02e7
parent 1186 906c32af858d
child 1878 ac8e534b4834
     1.1 --- a/doc-src/Intro/intro.tex	Tue Jul 16 15:45:36 1996 +0200
     1.2 +++ b/doc-src/Intro/intro.tex	Tue Jul 16 15:47:07 1996 +0200
     1.3 @@ -99,7 +99,7 @@
     1.4  
     1.5  \subsubsection*{Acknowledgements} 
     1.6  Tobias Nipkow contributed most of the section on defining theories.
     1.7 -Sara Kalvala and Markus Wenzel suggested improvements.
     1.8 +Stefan Berghofer, Sara Kalvala and Markus Wenzel suggested improvements.
     1.9  
    1.10  Tobias Nipkow has made immense contributions to Isabelle, including the
    1.11  parser generator, type classes, and the simplifier.  Carsten Clasohm and