
diff -r ecb6eaa76843 -r 0a380ac80e7d doc-src/TutorialI/tutorial.tex
--- a/doc-src/TutorialI/tutorial.tex	Thu Oct 26 09:15:59 2000 +0200
+++ b/doc-src/TutorialI/tutorial.tex	Thu Oct 26 10:27:04 2000 +0200
@@ -58,10 +58,11 @@
 \title{\includegraphics[scale=.8]{isabelle_hol}
        \\ \vspace{0.5cm} The Tutorial
        \\ --- DRAFT ---}
-\author{Tobias Nipkow\\
+\author{Tobias Nipkow \& Lawrence Paulson\\[1ex]
 Technische Universit{\"a}t M{\"u}nchen \\
-Institut f{\"u}r Informatik \\
-\url{http://www.in.tum.de/~nipkow/}}
+Institut f{\"u}r Informatik \\[1ex]
+University of Cambridge\\
+Computer Laboratory}
 \maketitle
 
 \pagenumbering{roman}
@@ -69,7 +70,7 @@
 
 \subsubsection*{Acknowledgements}
 This tutorial owes a lot to the constant discussions with and the valuable
-feedback from Larry Paulson and the Isabelle group at Munich: Olaf M{\"u}ller,
+feedback from the Isabelle group at Munich: Olaf M{\"u}ller,
 Wolfgang Naraschewski, David von Oheimb, Leonor Prensa Nieto, Cornelia Pusch
 and Markus Wenzel. Stefan Berghofer and Stephan Merz were also kind enough to
 read and comment on a draft version.




