# HG changeset patch
# User lcp
# Date 754937119 -3600
# Node ID 236b655114a1c4030dea2bcf0fad2c47382b5799
# Parent  f34acf216a323a7dad8653f77a3ae21ed4a7c055
Changed Acknowledgements

diff -r f34acf216a32 -r 236b655114a1 doc-src/Intro/intro.tex
--- a/doc-src/Intro/intro.tex	Fri Dec 03 17:43:49 1993 +0100
+++ b/doc-src/Intro/intro.tex	Fri Dec 03 17:45:19 1993 +0100
@@ -112,13 +112,14 @@
 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, Sonia
-Mahjoub, Karin Nimmermann and Markus Wenzel also made improvements.
-Isabelle was developed using Dave Matthews's Standard~{\sc ml} compiler,
-Poly/{\sc ml}.  Many people have contributed to Isabelle's standard
-object-logics, including Martin Coen, Philippe de Groote, Philippe No\"el.
-The research has been funded by the SERC (grants GR/G53279, GR/H40570) and
-by ESPRIT (projects 3245: Logical Frameworks, and 6453: Types).
+parser generator, type classes, and the simplifier.  Carsten Clasohm and
+Markus Wenzel made major contributions; Sonia Mahjoub and Karin Nimmermann
+also helped.  Isabelle was developed using Dave Matthews's Standard~{\sc
+  ml} compiler, Poly/{\sc ml}.  Many people have contributed to Isabelle's
+standard object-logics, including Martin Coen, Philippe de Groote, Philippe
+No\"el.  The research has been funded by the SERC (grants GR/G53279,
+GR/H40570) and by ESPRIT (projects 3245: Logical Frameworks, and 6453:
+Types).
 
 \newpage
 \pagestyle{plain} \tableofcontents