equal
deleted
inserted
replaced
18 \isabellestyle{it} |
18 \isabellestyle{it} |
19 |
19 |
20 \title{\includegraphics[scale=0.5]{isabelle} \\[4ex] The Isabelle System Manual} |
20 \title{\includegraphics[scale=0.5]{isabelle} \\[4ex] The Isabelle System Manual} |
21 |
21 |
22 \author{\emph{Makarius Wenzel} and \emph{Stefan Berghofer} \\ |
22 \author{\emph{Makarius Wenzel} and \emph{Stefan Berghofer} \\ |
23 TU München} |
23 TU M\"unchen} |
24 |
24 |
25 \makeindex |
25 \makeindex |
26 |
26 |
27 |
27 |
28 \begin{document} |
28 \begin{document} |
29 |
29 |
30 \maketitle |
30 \maketitle |
31 \pagenumbering{roman} \tableofcontents \clearfirst |
31 \pagenumbering{roman} \tableofcontents \clearfirst |
32 |
32 |
33 \input{Thy/document/Basics.tex} |
33 \input{Thy/document/Basics.tex} |
|
34 \input{Thy/document/Interfaces.tex} |
34 \input{Thy/document/Presentation.tex} |
35 \input{Thy/document/Presentation.tex} |
35 \input{Thy/document/Misc.tex} |
36 \input{Thy/document/Misc.tex} |
36 |
37 |
37 \begingroup |
38 \begingroup |
38 \bibliographystyle{plain} \small\raggedright\frenchspacing |
39 \bibliographystyle{plain} \small\raggedright\frenchspacing |