equal
deleted
inserted
replaced
8 \usepackage{amssymb} |
8 \usepackage{amssymb} |
9 \usepackage[only,bigsqcap]{stmaryrd} |
9 \usepackage[only,bigsqcap]{stmaryrd} |
10 \usepackage{pdfsetup} |
10 \usepackage{pdfsetup} |
11 |
11 |
12 \urlstyle{rm} |
12 \urlstyle{rm} |
13 \isabellestyle{it} |
13 \isabellestyle{literalunderscore} |
14 \pagestyle{myheadings} |
14 \pagestyle{myheadings} |
15 |
15 |
16 \begin{document} |
16 \begin{document} |
17 |
17 |
18 \title{Analysis} |
18 \title{Analysis} |
24 \includegraphics[width=\linewidth]{session_graph} |
24 \includegraphics[width=\linewidth]{session_graph} |
25 \end{center} |
25 \end{center} |
26 |
26 |
27 \newpage |
27 \newpage |
28 |
28 |
29 \renewcommand{\setisabellecontext}[1]{\markright{THEORY~``#1''}} |
29 \renewcommand{\setisabellecontext}[1]{\markright{#1.thy}} |
30 |
30 |
31 \parindent 0pt\parskip 0.5ex |
31 \parindent 0pt\parskip 0.5ex |
32 \input{session} |
32 \input{session} |
33 |
33 |
34 \end{document} |
34 \end{document} |