--- 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}