equal
deleted
inserted
replaced
37 \pagestyle{headings} |
37 \pagestyle{headings} |
38 %\sloppy |
38 %\sloppy |
39 %\binperiod %%%treat . like a binary operator |
39 %\binperiod %%%treat . like a binary operator |
40 |
40 |
41 \begin{document} |
41 \begin{document} |
42 \title{\includegraphics[scale=0.2,angle=-90]{isabelle_hol.ps} |
42 \title{\includegraphics[scale=.8]{isabelle_hol.eps} |
43 \\ \vspace{0.5cm} The Tutorial |
43 \\ \vspace{0.5cm} The Tutorial |
44 \\ --- DRAFT ---} |
44 \\ --- DRAFT ---} |
45 \author{Tobias Nipkow\\ |
45 \author{Tobias Nipkow\\ |
46 Technische Universit\"at M\"unchen \\ |
46 Technische Universit\"at M\"unchen \\ |
47 Institut f\"ur Informatik \\ |
47 Institut f\"ur Informatik \\ |