4 \usepackage{tikz}

     4 \usepackage{tikz}

     5 \usetikzlibrary{arrows,automata,decorations,fit,calc}

     5 \usetikzlibrary{arrows,automata,decorations,fit,calc}

     6 \usetikzlibrary{shapes,shapes.arrows,snakes,positioning}

     6 \usetikzlibrary{shapes,shapes.arrows,snakes,positioning}

     7 \usepgflibrary{shapes.misc} % LATEX and plain TEX and pure pgf

     7 \usepgflibrary{shapes.misc} % LATEX and plain TEX and pure pgf

     8 \usetikzlibrary{matrix}

     8 \usetikzlibrary{matrix}

     9 

    10 

    10 %\usepackage[pdftex]{hyperref}

    11 %\usepackage[pdftex]{hyperref}

    11 

    12 

    12 % further packages required for unusual symbols (see also

    13 % further packages required for unusual symbols (see also

    13 % isabellesym.sty), use only when needed

    14 % isabellesym.sty), use only when needed