--- a/Paper/document/root.tex	Thu Apr 01 01:05:05 2010 +0200
+++ b/Paper/document/root.tex	Thu Apr 01 03:28:28 2010 +0200
@@ -10,7 +10,7 @@
 \usepackage{ot1patch}
 \usepackage{times}
 \usepackage{boxedminipage}
-
+\usepackage{proof}
 
 \urlstyle{rm}
 \isabellestyle{it}