equal
deleted
inserted
replaced
1 \documentclass[11pt,a4paper]{article} |
1 \documentclass[11pt,a4paper]{article} |
2 \usepackage{isabelle,isabellesym} |
2 \usepackage{isabelle,isabellesym} |
3 \usepackage{amsmath} |
3 \usepackage{amsmath} |
|
4 \usepackage{tikz} |
|
5 \usetikzlibrary{arrows,automata,decorations,fit,calc} |
|
6 \usetikzlibrary{shapes,shapes.arrows,snakes,positioning} |
|
7 \usepgflibrary{shapes.misc} % LATEX and plain TEX and pure pgf |
|
8 \usetikzlibrary{matrix} |
|
9 |
4 %\usepackage[pdftex]{hyperref} |
10 %\usepackage[pdftex]{hyperref} |
5 |
11 |
6 % further packages required for unusual symbols (see also |
12 % further packages required for unusual symbols (see also |
7 % isabellesym.sty), use only when needed |
13 % isabellesym.sty), use only when needed |
8 |
14 |