changeset 311 | 3fb8cdb32e10 |
parent 296 | e1f6cd9f682e |
child 348 | 1f5a94209c97 |
--- 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