equal
deleted
inserted
replaced
3 \usepackage{isabellesym} |
3 \usepackage{isabellesym} |
4 \usepackage{amsmath} |
4 \usepackage{amsmath} |
5 \usepackage{amssymb} |
5 \usepackage{amssymb} |
6 \usepackage{tikz} |
6 \usepackage{tikz} |
7 \usepackage{pgf} |
7 \usepackage{pgf} |
|
8 \usetikzlibrary{arrows,automata,decorations,fit,calc} |
|
9 \usetikzlibrary{shapes,shapes.arrows,snakes,positioning} |
|
10 \usepgflibrary{shapes.misc} % LATEX and plain TEX and pure pgf |
|
11 \usetikzlibrary{matrix} |
8 \usepackage{pdfsetup} |
12 \usepackage{pdfsetup} |
9 \usepackage{ot1patch} |
13 \usepackage{ot1patch} |
10 \usepackage{times} |
14 \usepackage{times} |
11 \usepackage{proof} |
15 \usepackage{proof} |
12 %%\usepackage{mathabx} |
16 %%\usepackage{mathabx} |