equal
deleted
inserted
replaced
14 \usepackage{pgf} |
14 \usepackage{pgf} |
15 \usetikzlibrary{arrows} |
15 \usetikzlibrary{arrows} |
16 \usetikzlibrary{automata} |
16 \usetikzlibrary{automata} |
17 \usetikzlibrary{shapes} |
17 \usetikzlibrary{shapes} |
18 \usetikzlibrary{shadows} |
18 \usetikzlibrary{shadows} |
|
19 \usetikzlibrary{calc} |
19 |
20 |
20 % Isabelle configuration |
21 % Isabelle configuration |
21 %%\urlstyle{rm} |
22 %%\urlstyle{rm} |
22 \isabellestyle{rm} |
23 \isabellestyle{rm} |
23 \renewcommand{\isastyle}{\rm}% |
24 \renewcommand{\isastyle}{\rm}% |