diff -r 6918b6d5192b -r 867f876589e7 doc-src/TutorialI/IsarOverview/Isar/document/root.tex
--- a/doc-src/TutorialI/IsarOverview/Isar/document/root.tex	Thu Jul 11 09:47:15 2002 +0200
+++ b/doc-src/TutorialI/IsarOverview/Isar/document/root.tex	Thu Jul 11 10:48:30 2002 +0200
@@ -12,7 +12,7 @@
 
 \title{A Compact Overview of Structured Proofs in Isar/HOL}
 \author{Tobias Nipkow\\Institut f{\"u}r Informatik, TU M{\"u}nchen\\
- \url{http://www.in.tum.de/~nipkow/}}
+ {\small\url{http://www.in.tum.de/~nipkow/}}}
 \date{}
 \maketitle
 
@@ -31,9 +31,11 @@
 %%% TeX-master: "root"
 %%% End:
 
+{\small
 \paragraph{Acknowledgment}
-I am deeply indebted to Markus Wenzel for conceiving Isar. Stefan Berghofer
-and Markus Wenzel commented on this document.
+I am deeply indebted to Markus Wenzel for conceiving Isar. Stefan Berghofer,
+Gerwin Klein, Norbert Schirmer and Markus Wenzel commented on this document.
+}
 
 \begingroup
 \bibliographystyle{plain} \small\raggedright\frenchspacing