obsolete;

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

--- a/src/Doc/How_to_Prove_it/document/prelude.tex	Mon Oct 12 19:32:25 2015 +0200
+++ b/src/Doc/How_to_Prove_it/document/prelude.tex	Mon Oct 12 19:41:10 2015 +0200
@@ -3,7 +3,6 @@
                              % when including figure files
 \usepackage{multicol}        % used for the two-column index
 \usepackage[bottom]{footmisc}% places footnotes at page bottom
-\usepackage{alltt}
 
 \usepackage{lmodern}
 \usepackage[T1]{fontenc}

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

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

--- a/src/Doc/JEdit/document/root.tex	Mon Oct 12 19:32:25 2015 +0200
+++ b/src/Doc/JEdit/document/root.tex	Mon Oct 12 19:41:10 2015 +0200
@@ -3,7 +3,7 @@
 \usepackage[T1]{fontenc}
 \usepackage{supertabular}
 \usepackage{graphicx}
-\usepackage{iman,extra,isar,ttbox}
+\usepackage{iman,extra,isar}
 \usepackage[nohyphen,strings]{underscore}
 \usepackage{amssymb}
 \usepackage{isabelle,isabellesym}

--- a/src/Doc/System/document/root.tex	Mon Oct 12 19:32:25 2015 +0200
+++ b/src/Doc/System/document/root.tex	Mon Oct 12 19:41:10 2015 +0200
@@ -3,7 +3,7 @@
 \usepackage[T1]{fontenc}
 \usepackage{supertabular}
 \usepackage{graphicx}
-\usepackage{iman,extra,isar,ttbox}
+\usepackage{iman,extra,isar}
 \usepackage[nohyphen,strings]{underscore}
 \usepackage{isabelle,isabellesym}
 \usepackage{railsetup}