--- a/Quotient-Paper/document/root.tex	Sun Jun 13 14:39:55 2010 +0200
+++ b/Quotient-Paper/document/root.tex	Sun Jun 13 17:01:15 2010 +0200
@@ -9,6 +9,7 @@
 \usepackage{tikz}
 \usepackage{pgf}
 \usepackage{verbdef}
+\usepackage{longtable}
 
 \urlstyle{rm}
 \isabellestyle{it}