doc-src/TutorialI/tutorial.tex

--- a/doc-src/TutorialI/tutorial.tex	Thu Feb 21 14:08:09 2002 +0100
+++ b/doc-src/TutorialI/tutorial.tex	Thu Feb 21 18:19:34 2002 +0100
@@ -31,7 +31,7 @@
 \title{
 \begin{center}
 \includegraphics[scale=.8]{isabelle_hol}
-       \\ \vspace{0.5cm} The Tutorial
+       \\ \vspace{0.5cm} A Proof Assistant for Higher-Order Logic
 \end{center}}
 \author{Tobias Nipkow \quad Lawrence C. Paulson \quad Markus Wenzel%\\[1ex]
 %Technische Universit{\"a}t M{\"u}nchen \\