equal
deleted
inserted
replaced
6 \usepackage{listings} |
6 \usepackage{listings} |
7 \usepackage[refpage]{nomencl} |
7 \usepackage[refpage]{nomencl} |
8 \usepackage{../../iman,../../extra,../../isar,../../proof} |
8 \usepackage{../../iman,../../extra,../../isar,../../proof} |
9 \usepackage{../../isabelle,../../isabellesym} |
9 \usepackage{../../isabelle,../../isabellesym} |
10 \usepackage{style} |
10 \usepackage{style} |
|
11 \usepackage{tikz} |
11 \usepackage{../../pdfsetup} |
12 \usepackage{../../pdfsetup} |
12 |
13 |
13 \newcommand{\isaverbatim}{\renewcommand{\baselinestretch}{1}\setlength{\baselineskip}{8pt}\fontsize{8pt}{0pt}} |
14 \newcommand{\isaverbatim}{\renewcommand{\baselinestretch}{1}\setlength{\baselineskip}{8pt}\fontsize{8pt}{0pt}} |
14 |
15 |
15 \makeatletter |
16 \makeatletter |