doc-src/TutorialI/tutorial.tex
changeset 12916 4ac388e02b74
parent 12790 8108791e2906
child 13981 70ff42d498c0
     1.1 --- a/doc-src/TutorialI/tutorial.tex	Thu Feb 21 14:08:09 2002 +0100
     1.2 +++ b/doc-src/TutorialI/tutorial.tex	Thu Feb 21 18:19:34 2002 +0100
     1.3 @@ -31,7 +31,7 @@
     1.4  \title{
     1.5  \begin{center}
     1.6  \includegraphics[scale=.8]{isabelle_hol}
     1.7 -       \\ \vspace{0.5cm} The Tutorial
     1.8 +       \\ \vspace{0.5cm} A Proof Assistant for Higher-Order Logic
     1.9  \end{center}}
    1.10  \author{Tobias Nipkow \quad Lawrence C. Paulson \quad Markus Wenzel%\\[1ex]
    1.11  %Technische Universit{\"a}t M{\"u}nchen \\