--- a/Paper/document/root.tex	Mon May 09 07:25:37 2011 +0000
+++ b/Paper/document/root.tex	Thu May 12 05:55:05 2011 +0000
@@ -12,7 +12,7 @@
 \usepackage{pdfsetup}
 \usepackage{ot1patch}
 \usepackage{times}
-\usepackage{proof}
+%%\usepackage{proof}
 %%\usepackage{mathabx}
 \usepackage{stmaryrd}