7 \usepackage{mathpartir}

     7 \usepackage{mathpartir}

     8 \usepackage[absolute, overlay]{textpos}

     8 \usepackage[absolute, overlay]{textpos}

     9 \usepackage{proof}

     9 \usepackage{proof}

    10 \usepackage{ifthen}

    10 \usepackage{ifthen}

    11 \usepackage{animate}

    11 \usepackage{animate}

    12 \usepackage{tikz}

    13 \usepackage{tikz}

    13 \usepackage{pgf}

    14 \usepackage{pgf}

    14 \usetikzlibrary{arrows}

    15 \usetikzlibrary{arrows}

    15 \usetikzlibrary{automata}

    16 \usetikzlibrary{automata}

    16 \usetikzlibrary{shapes}

    17 \usetikzlibrary{shapes}

    42 \mprset{sep=1em}

    43 \mprset{sep=1em}

    43 

    44 

    44 % general math stuff

    45 % general math stuff

    45 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% for definitions

    46 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% for definitions

    46 \newcommand{\dnn}{\stackrel{\mbox{\Large def}}{=}}

    47 \newcommand{\dnn}{\stackrel{\mbox{\Large def}}{=}}

    47 \renewcommand{\emptyset}{\varnothing}% nice round empty set

    49 \renewcommand{\emptyset}{\varnothing}% nice round empty set

    48 \renewcommand{\Gamma}{\varGamma} 

    50 \renewcommand{\Gamma}{\varGamma} 

    49 \DeclareRobustCommand{\flqq}{\mbox{\guillemotleft}}

    51 \DeclareRobustCommand{\flqq}{\mbox{\guillemotleft}}

    50 \DeclareRobustCommand{\frqq}{\mbox{\guillemotright}}

    52 \DeclareRobustCommand{\frqq}{\mbox{\guillemotright}}

    51 \newcommand{\smath}[1]{\textcolor{blue}{\ensuremath{#1}}}

    53 \newcommand{\smath}[1]{\textcolor{blue}{\ensuremath{#1}}}