diff -r 3764ed518ee5 -r 000e680b6b6e Pearl/document/root.tex
--- a/Pearl/document/root.tex	Thu Apr 08 09:13:36 2010 +0200
+++ b/Pearl/document/root.tex	Thu Apr 08 10:25:13 2010 +0200
@@ -4,7 +4,6 @@
 \usepackage{isabellesym}
 \usepackage{amsmath}
 \usepackage{amssymb}
-\usepackage{longtable}
 
 
 \usepackage{pdfsetup}