equal
deleted
inserted
replaced
6 \usepackage{textcomp} |
6 \usepackage{textcomp} |
7 \usepackage{amsmath} |
7 \usepackage{amsmath} |
8 \usepackage{amssymb} |
8 \usepackage{amssymb} |
9 \usepackage[only,bigsqcap]{stmaryrd} |
9 \usepackage[only,bigsqcap]{stmaryrd} |
10 \usepackage{pdfsetup} |
10 \usepackage{pdfsetup} |
|
11 |
|
12 \usepackage{tocloft} |
|
13 \setlength{\cftsubsecnumwidth}{3em} |
|
14 \cftsetpnumwidth{2em} |
|
15 \cftsetrmarg{3em} |
11 |
16 |
12 \urlstyle{rm} |
17 \urlstyle{rm} |
13 \isabellestyle{literalunderscore} |
18 \isabellestyle{literalunderscore} |
14 \pagestyle{myheadings} |
19 \pagestyle{myheadings} |
15 |
20 |
19 \maketitle |
24 \maketitle |
20 |
25 |
21 \tableofcontents |
26 \tableofcontents |
22 |
27 |
23 \begin{center} |
28 \begin{center} |
24 \includegraphics[width=\linewidth]{session_graph} |
29 \includegraphics[height=\textheight]{session_graph} |
25 \end{center} |
30 \end{center} |
26 |
31 |
27 \newpage |
32 \newpage |
28 |
33 |
29 \renewcommand{\setisabellecontext}[1]{\markright{\href{#1.html}{#1.thy}}} |
34 \renewcommand{\setisabellecontext}[1]{\markright{\href{#1.html}{#1.thy}}} |