1 \usepackage{beamerthemeplainculight}

     1 \usepackage{beamerthemeplainculight}

     2 \usepackage[T1]{fontenc}

     3 \usepackage[T1]{fontenc}

     3 \usepackage{proof}

     4 \usepackage{proof}

     4 \usepackage{german}

     5 \usepackage{german}

     5 \usepackage[latin1]{inputenc}

     6 \usepackage[latin1]{inputenc}

     6 \usepackage{isabelle}

     7 \usepackage{isabelle}

    12 %%\usepackage{animate}

    13 %%\usepackage{animate}

    13 \usepackage{tikz}

    14 \usepackage{tikz}

    14 \usepackage{pgf}

    15 \usepackage{pgf}

    15 \usepackage{calc} 

    16 \usepackage{calc} 

    16 \usepackage{ulem}

    17 \usepackage{ulem}

    18 \usetikzlibrary{arrows}

    19 \usetikzlibrary{arrows}

    19 \usetikzlibrary{automata}

    20 \usetikzlibrary{automata}

    20 \usetikzlibrary{shapes}

    21 \usetikzlibrary{shapes}

    21 \usetikzlibrary{shadows}

    22 \usetikzlibrary{shadows}

    22 \usetikzlibrary{positioning}

    23 \usetikzlibrary{positioning}

    23 %%%\usetikzlibrary{mindmap}

    25 %%%\usetikzlibrary{mindmap}

    24 

    26 

    25 \usepackage{graphicx} 

    27 \usepackage{graphicx} 

    26 \usepackage{xcolor} 

    28 \usepackage{xcolor} 

    27 

    29