doc-src/Tutorial/tutorial.tex
changeset 5376 60b31a24f1a6
parent 5375 1463e182c533
child 5850 9712294e60b9
equal deleted inserted replaced
5375:1463e182c533 5376:60b31a24f1a6
    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 \\