Pearl/document/root.tex
changeset 1790 000e680b6b6e
parent 1776 0c958e385691
--- 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}