Acknowledged Stefan Berghofer for finding errors
authorpaulson
Tue Jul 16 15:47:07 1996 +0200 (1996-07-16)
changeset 1866a1a41b4b02e7
parent 1865 484956c42436
child 1867 37615e73f2d8
Acknowledged Stefan Berghofer for finding errors
doc-src/Intro/intro.tex
     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