56 |
56 |
57 \begin{document} |
57 \begin{document} |
58 \title{\includegraphics[scale=.8]{isabelle_hol} |
58 \title{\includegraphics[scale=.8]{isabelle_hol} |
59 \\ \vspace{0.5cm} The Tutorial |
59 \\ \vspace{0.5cm} The Tutorial |
60 \\ --- DRAFT ---} |
60 \\ --- DRAFT ---} |
61 \author{Tobias Nipkow\\ |
61 \author{Tobias Nipkow \& Lawrence Paulson\\[1ex] |
62 Technische Universit{\"a}t M{\"u}nchen \\ |
62 Technische Universit{\"a}t M{\"u}nchen \\ |
63 Institut f{\"u}r Informatik \\ |
63 Institut f{\"u}r Informatik \\[1ex] |
64 \url{http://www.in.tum.de/~nipkow/}} |
64 University of Cambridge\\ |
|
65 Computer Laboratory} |
65 \maketitle |
66 \maketitle |
66 |
67 |
67 \pagenumbering{roman} |
68 \pagenumbering{roman} |
68 \tableofcontents |
69 \tableofcontents |
69 |
70 |
70 \subsubsection*{Acknowledgements} |
71 \subsubsection*{Acknowledgements} |
71 This tutorial owes a lot to the constant discussions with and the valuable |
72 This tutorial owes a lot to the constant discussions with and the valuable |
72 feedback from Larry Paulson and the Isabelle group at Munich: Olaf M{\"u}ller, |
73 feedback from the Isabelle group at Munich: Olaf M{\"u}ller, |
73 Wolfgang Naraschewski, David von Oheimb, Leonor Prensa Nieto, Cornelia Pusch |
74 Wolfgang Naraschewski, David von Oheimb, Leonor Prensa Nieto, Cornelia Pusch |
74 and Markus Wenzel. Stefan Berghofer and Stephan Merz were also kind enough to |
75 and Markus Wenzel. Stefan Berghofer and Stephan Merz were also kind enough to |
75 read and comment on a draft version. |
76 read and comment on a draft version. |
76 \clearfirst |
77 \clearfirst |
77 |
78 |