doc-src/Intro/intro.tex
changeset 311 3fb8cdb32e10
parent 296 e1f6cd9f682e
child 348 1f5a94209c97
     1.1 --- a/doc-src/Intro/intro.tex	Fri Apr 15 11:35:44 1994 +0200
     1.2 +++ b/doc-src/Intro/intro.tex	Fri Apr 15 11:48:23 1994 +0200
     1.3 @@ -107,7 +107,7 @@
     1.4  
     1.5  
     1.6  \subsubsection*{Acknowledgements} 
     1.7 -Tobias Nipkow contributed most of the section on ``Defining Theories''.
     1.8 +Tobias Nipkow contributed most of the section on defining theories.
     1.9  Sara Kalvala and Markus Wenzel suggested improvements.
    1.10  
    1.11  Tobias Nipkow has made immense contributions to Isabelle, including the