equal
deleted
inserted
replaced
4 \usepackage{proof} |
4 \usepackage{proof} |
5 \usepackage{german} |
5 \usepackage{german} |
6 \usepackage[latin1]{inputenc} |
6 \usepackage[latin1]{inputenc} |
7 \usepackage{isabelle} |
7 \usepackage{isabelle} |
8 \usepackage{isabellesym} |
8 \usepackage{isabellesym} |
9 %%\usepackage{mathpartir} |
9 \usepackage{mathpartir} |
10 \usepackage[absolute,overlay]{textpos} |
10 \usepackage[absolute,overlay]{textpos} |
11 \usepackage{proof} |
11 \usepackage{proof} |
12 \usepackage{ifthen} |
12 \usepackage{ifthen} |
13 %%\usepackage{animate} |
13 %%\usepackage{animate} |
14 \usepackage{tikz} |
14 \usepackage{tikz} |