
diff -r 459b5de466b2 -r 8108791e2906 doc-src/TutorialI/tutorial.tex
--- a/doc-src/TutorialI/tutorial.tex	Thu Jan 17 12:45:52 2002 +0100
+++ b/doc-src/TutorialI/tutorial.tex	Thu Jan 17 12:58:31 2002 +0100
@@ -28,14 +28,17 @@
 
 
 \begin{document}
-\title{\includegraphics[scale=.8]{isabelle_hol}
+\title{
+\begin{center}
+\includegraphics[scale=.8]{isabelle_hol}
        \\ \vspace{0.5cm} The Tutorial
-       \\ --- DRAFT ---}
-\author{Tobias Nipkow and Lawrence C. Paulson\\[1ex]
-Technische Universit{\"a}t M{\"u}nchen \\
-Institut f{\"u}r Informatik \\[1ex]
-University of Cambridge\\
-Computer Laboratory}
+\end{center}}
+\author{Tobias Nipkow \quad Lawrence C. Paulson \quad Markus Wenzel%\\[1ex]
+%Technische Universit{\"a}t M{\"u}nchen \\
+%Institut f{\"u}r Informatik \\[1ex]
+%University of Cambridge\\
+%Computer Laboratory
+}
 \maketitle
 
 \pagenumbering{roman}




