# HG changeset patch
# User paulson
# Date 837524827 -7200
# Node ID a1a41b4b02e72822a605092a0494eea6877cbeee
# Parent  484956c42436ddf6ab39b4c600a8d1cd57caa15b
Acknowledged Stefan Berghofer for finding errors

diff -r 484956c42436 -r a1a41b4b02e7 doc-src/Intro/intro.tex
--- 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