1 \usepackage{beamerthemeplaincu}

     1 \usepackage{beamerthemeplaincu}

     2 \usepackage[T1]{fontenc}

     3 \usepackage[T1]{fontenc}

     3 \usepackage{proof}

     4 \usepackage{proof}

     4 \usepackage[latin1]{inputenc}

     5 \usepackage[latin1]{inputenc}

     5 \usepackage{isabelle}

     6 \usepackage{isabelle}

     6 \usepackage{isabellesym}

     7 \usepackage{isabellesym}

     7 \usepackage{mathpartir}

     8 \usepackage{mathpartir}

     8 \usepackage[absolute, overlay]{textpos}

     9 \usepackage[absolute, overlay]{textpos}

     9 \usepackage{proof}

    10 \usepackage{proof}

    10 \usepackage{ifthen}

    11 \usepackage{ifthen}

    11 \usepackage{animate}

    12 \usepackage{animate}

    13 \usepackage{tikz}

    13 \usepackage{tikz}

    14 \usepackage{pgf}

    14 \usepackage{pgf}

    15 \usetikzlibrary{arrows}

    15 \usetikzlibrary{arrows}

    16 \usetikzlibrary{automata}

    16 \usetikzlibrary{automata}

    17 \usetikzlibrary{shapes}

    17 \usetikzlibrary{shapes}