doc-src/Intro/intro.tex

--- a/doc-src/Intro/intro.tex	Fri Apr 15 11:35:44 1994 +0200
+++ b/doc-src/Intro/intro.tex	Fri Apr 15 11:48:23 1994 +0200
@@ -107,7 +107,7 @@
 
 
 \subsubsection*{Acknowledgements} 
-Tobias Nipkow contributed most of the section on ``Defining Theories''.
+Tobias Nipkow contributed most of the section on defining theories.
 Sara Kalvala and Markus Wenzel suggested improvements.
 
 Tobias Nipkow has made immense contributions to Isabelle, including the