1.1 --- a/doc-src/TutorialI/tutorial.tex	Thu Jul 26 18:23:38 2001 +0200
     1.2 +++ b/doc-src/TutorialI/tutorial.tex	Fri Aug 03 18:04:55 2001 +0200
     1.3 @@ -30,7 +30,7 @@
     1.4  \title{\includegraphics[scale=.8]{isabelle_hol}
     1.5         \\ \vspace{0.5cm} The Tutorial
     1.6         \\ --- DRAFT ---}
     1.7 -\author{Tobias Nipkow \& Lawrence Paulson\\[1ex]
     1.8 +\author{Tobias Nipkow and Lawrence C. Paulson\\[1ex]
     1.9  Technische Universit{\"a}t M{\"u}nchen \\
    1.10  Institut f{\"u}r Informatik \\[1ex]
    1.11  University of Cambridge\\