equal
deleted
inserted
replaced
29 |
29 |
30 \begin{document} |
30 \begin{document} |
31 \title{ |
31 \title{ |
32 \begin{center} |
32 \begin{center} |
33 \includegraphics[scale=.8]{isabelle_hol} |
33 \includegraphics[scale=.8]{isabelle_hol} |
34 \\ \vspace{0.5cm} The Tutorial |
34 \\ \vspace{0.5cm} A Proof Assistant for Higher-Order Logic |
35 \end{center}} |
35 \end{center}} |
36 \author{Tobias Nipkow \quad Lawrence C. Paulson \quad Markus Wenzel%\\[1ex] |
36 \author{Tobias Nipkow \quad Lawrence C. Paulson \quad Markus Wenzel%\\[1ex] |
37 %Technische Universit{\"a}t M{\"u}nchen \\ |
37 %Technische Universit{\"a}t M{\"u}nchen \\ |
38 %Institut f{\"u}r Informatik \\[1ex] |
38 %Institut f{\"u}r Informatik \\[1ex] |
39 %University of Cambridge\\ |
39 %University of Cambridge\\ |