equal
deleted
inserted
replaced
3 \usepackage{proof} |
3 \usepackage{proof} |
4 \usepackage{german} |
4 \usepackage{german} |
5 \usepackage[latin1]{inputenc} |
5 \usepackage[latin1]{inputenc} |
6 \usepackage{isabelle} |
6 \usepackage{isabelle} |
7 \usepackage{isabellesym} |
7 \usepackage{isabellesym} |
8 \usepackage{mathpartir} |
8 %%\usepackage{mathpartir} |
9 \usepackage[absolute,overlay]{textpos} |
9 \usepackage[absolute,overlay]{textpos} |
10 \usepackage{proof} |
10 \usepackage{proof} |
11 \usepackage{ifthen} |
11 \usepackage{ifthen} |
12 \usepackage{animate} |
12 %%\usepackage{animate} |
13 \usepackage{tikz} |
13 \usepackage{tikz} |
14 \usepackage{pgf} |
14 \usepackage{pgf} |
15 \usepackage{calc} |
15 \usepackage{calc} |
16 %%%\usepackage{ulem} |
16 %%%\usepackage{ulem} |
17 %%%\newcommand{\uline}[1]{} |
17 %%%\newcommand{\uline}[1]{} |
60 \renewcommand{\isasymdots}{\isamath{...}} |
60 \renewcommand{\isasymdots}{\isamath{...}} |
61 \renewcommand{\isasymbullet}{\act} |
61 \renewcommand{\isasymbullet}{\act} |
62 \renewcommand{\isasymequiv}{$\dn$} |
62 \renewcommand{\isasymequiv}{$\dn$} |
63 |
63 |
64 % mathpatir |
64 % mathpatir |
65 \mprset{sep=1em} |
65 %%\mprset{sep=1em} |
66 |
66 |
67 |
67 |
68 % beamer stuff |
68 % beamer stuff |
69 \renewcommand{\slidecaption}{Salvador, 26.~August 2008} |
69 \renewcommand{\slidecaption}{Salvador, 26.~August 2008} |
70 |
70 |