diff -r 8f142ae324e2 -r 46f753eeb0b8 Slides/document/root.tex
--- a/Slides/document/root.tex	Tue Jul 13 23:39:39 2010 +0100
+++ b/Slides/document/root.tex	Wed Jul 14 21:30:52 2010 +0100
@@ -5,11 +5,11 @@
 \usepackage[latin1]{inputenc}
 \usepackage{isabelle}
 \usepackage{isabellesym}
-\usepackage{mathpartir}
+%%\usepackage{mathpartir}
 \usepackage[absolute,overlay]{textpos}
 \usepackage{proof}
 \usepackage{ifthen}
-\usepackage{animate}
+%%\usepackage{animate}
 \usepackage{tikz}
 \usepackage{pgf}
 \usepackage{calc} 
@@ -62,7 +62,7 @@
 \renewcommand{\isasymequiv}{$\dn$}
 
 % mathpatir
-\mprset{sep=1em}
+%%\mprset{sep=1em}
 
 
 % beamer stuff