--- 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