diff -r 114064363ef0 -r e2dc11e12e0b Journal/document/root.tex
--- a/Journal/document/root.tex	Sun Sep 04 07:28:48 2011 +0000
+++ b/Journal/document/root.tex	Mon Sep 05 12:07:16 2011 +0000
@@ -15,7 +15,7 @@
 %%\usepackage{proof}
 %%\usepackage{mathabx}
 \usepackage{stmaryrd}
-
+\usepackage{mathpartir}
 
 \urlstyle{rm}
 \isabellestyle{it}