equal
deleted
inserted
replaced
1 \usepackage{beamerthemeplainculight} |
1 \documentclass[dvipsnames,14pt,t]{beamer} |
2 |
2 \usepackage{beamerthemeplaincu} |
3 \usepackage[T1]{fontenc} |
3 %%%\usepackage[T1]{fontenc} |
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} |
29 |
29 |
30 % general math stuff |
30 % general math stuff |
31 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% for definitions |
31 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% for definitions |
32 \newcommand{\dnn}{\stackrel{\mbox{\Large def}}{=}} |
32 \newcommand{\dnn}{\stackrel{\mbox{\Large def}}{=}} |
33 \renewcommand{\emptyset}{\varnothing}% nice round empty set |
33 \renewcommand{\emptyset}{\varnothing}% nice round empty set |
34 \renewcommand{\Gamma}{\varGamma} |
34 %%\renewcommand{\Gamma}{\varGamma} |
35 \DeclareRobustCommand{\flqq}{\mbox{\guillemotleft}} |
35 \DeclareRobustCommand{\flqq}{\mbox{\guillemotleft}} |
36 \DeclareRobustCommand{\frqq}{\mbox{\guillemotright}} |
36 \DeclareRobustCommand{\frqq}{\mbox{\guillemotright}} |
37 \newcommand{\smath}[1]{\textcolor{blue}{\ensuremath{#1}}} |
37 \newcommand{\smath}[1]{\textcolor{blue}{\ensuremath{#1}}} |
38 \newcommand{\fresh}{\mathrel{\#}} |
38 \newcommand{\fresh}{\mathrel{\#}} |
39 \newcommand{\act}{{\raisebox{-0.5mm}{\Large$\boldsymbol{\cdot}$}}}% swapping action |
39 \newcommand{\act}{{\raisebox{-0.5mm}{\Large$\boldsymbol{\cdot}$}}}% swapping action |