doc-src/Intro/intro.tex

 Isabelle's Reference Manual and Object-Logics manual contain more details.
 They assume familiarity with the concepts presented here.
 
 
 \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
 parser generator, type classes, and the simplifier.  Carsten Clasohm and
 Markus Wenzel made major contributions; Sonia Mahjoub and Karin Nimmermann