equal
deleted
inserted
replaced
28 |
28 |
29 \begin{document} |
29 \begin{document} |
30 \title{\includegraphics[scale=.8]{isabelle_hol} |
30 \title{\includegraphics[scale=.8]{isabelle_hol} |
31 \\ \vspace{0.5cm} The Tutorial |
31 \\ \vspace{0.5cm} The Tutorial |
32 \\ --- DRAFT ---} |
32 \\ --- DRAFT ---} |
33 \author{Tobias Nipkow \& Lawrence Paulson\\[1ex] |
33 \author{Tobias Nipkow and Lawrence C. Paulson\\[1ex] |
34 Technische Universit{\"a}t M{\"u}nchen \\ |
34 Technische Universit{\"a}t M{\"u}nchen \\ |
35 Institut f{\"u}r Informatik \\[1ex] |
35 Institut f{\"u}r Informatik \\[1ex] |
36 University of Cambridge\\ |
36 University of Cambridge\\ |
37 Computer Laboratory} |
37 Computer Laboratory} |
38 \maketitle |
38 \maketitle |