--- a/Slides/document/root.tex	Thu Feb 16 07:14:28 2012 +0000
+++ b/Slides/document/root.tex	Fri Feb 17 02:05:00 2012 +0000
@@ -6,7 +6,7 @@
 \usepackage[latin1]{inputenc}
 \usepackage{isabelle}
 \usepackage{isabellesym}
-%%\usepackage{mathpartir}
+\usepackage{mathpartir}
 \usepackage[absolute,overlay]{textpos}
 \usepackage{proof}
 \usepackage{ifthen}