src/Doc/Implementation/document/root.tex

--- a/src/Doc/Implementation/document/root.tex	Mon Oct 12 19:32:25 2015 +0200
+++ b/src/Doc/Implementation/document/root.tex	Mon Oct 12 19:41:10 2015 +0200
@@ -8,7 +8,6 @@
 \usepackage{isabelle}
 \usepackage{isabellesym}
 \usepackage{railsetup}
-\usepackage{ttbox}
 \usepackage{supertabular}
 \usepackage{style}
 \usepackage{pdfsetup}