--- a/CookBook/document/root.tex	Thu Jan 29 09:46:17 2009 +0000
+++ b/CookBook/document/root.tex	Thu Jan 29 09:46:36 2009 +0000
@@ -12,6 +12,7 @@
 \usepackage{lineno}
 \usepackage{xcolor}
 \usepackage{framed}
+\usepackage{mathpartir}
 \usepackage{pdfsetup}
 
 \urlstyle{rm}