equal
deleted
inserted
replaced
5 \usepackage{latexsym,graphicx} |
5 \usepackage{latexsym,graphicx} |
6 \usepackage[refpage]{nomencl} |
6 \usepackage[refpage]{nomencl} |
7 \usepackage{../../iman,../../extra,../../isar,../../proof} |
7 \usepackage{../../iman,../../extra,../../isar,../../proof} |
8 \usepackage{../../isabelle,../../isabellesym} |
8 \usepackage{../../isabelle,../../isabellesym} |
9 \usepackage{style} |
9 \usepackage{style} |
|
10 \usepackage{pgf} |
|
11 \usepackage{pgflibraryshapes} |
10 \usepackage{tikz} |
12 \usepackage{tikz} |
11 \usepackage{../../pdfsetup} |
13 \usepackage{../../pdfsetup} |
12 |
14 |
13 %% setup |
15 %% setup |
14 |
16 |