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