--- 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