doc-src/TutorialI/tutorial.tex

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