
diff -r c9a1c6f50ff5 -r cf451e182bf0 Slides/document/root.tex
--- a/Slides/document/root.tex	Fri Sep 06 10:06:41 2013 +0100
+++ b/Slides/document/root.tex	Sun Oct 13 23:09:21 2013 +0200
@@ -1,9 +1,9 @@
-\usepackage{beamerthemeplainculight}
-
-\usepackage[T1]{fontenc}
+\documentclass[dvipsnames,14pt,t]{beamer}
+\usepackage{beamerthemeplaincu}
+%%%\usepackage[T1]{fontenc}
 \usepackage{proof}
 \usepackage{german}
-\usepackage[latin1]{inputenc}
+%%%\usepackage[latin1]{inputenc}
 \usepackage{isabelle}
 \usepackage{isabellesym}
 \usepackage{mathpartir}
@@ -31,7 +31,7 @@
 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% for definitions
 \newcommand{\dnn}{\stackrel{\mbox{\Large def}}{=}}
 \renewcommand{\emptyset}{\varnothing}% nice round empty set
-\renewcommand{\Gamma}{\varGamma} 
+%%\renewcommand{\Gamma}{\varGamma} 
 \DeclareRobustCommand{\flqq}{\mbox{\guillemotleft}}
 \DeclareRobustCommand{\frqq}{\mbox{\guillemotright}}
 \newcommand{\smath}[1]{\textcolor{blue}{\ensuremath{#1}}}




