--- a/doc-src/Intro/intro.tex Tue Jul 16 15:45:36 1996 +0200
+++ b/doc-src/Intro/intro.tex Tue Jul 16 15:47:07 1996 +0200
@@ -99,7 +99,7 @@
\subsubsection*{Acknowledgements}
Tobias Nipkow contributed most of the section on defining theories.
-Sara Kalvala and Markus Wenzel suggested improvements.
+Stefan Berghofer, Sara Kalvala and Markus Wenzel suggested improvements.
Tobias Nipkow has made immense contributions to Isabelle, including the
parser generator, type classes, and the simplifier. Carsten Clasohm and