diff -r 028f94955436 -r ebec0c1a5984 doc-src/IsarImplementation/implementation.tex
--- a/doc-src/IsarImplementation/implementation.tex	Mon May 02 21:59:47 2011 +0200
+++ b/doc-src/IsarImplementation/implementation.tex	Mon May 02 22:00:38 2011 +0200
@@ -3,8 +3,10 @@
 \usepackage[refpage]{nomencl}
 \usepackage{../iman,../extra,../isar,../proof}
 \usepackage[nohyphen,strings]{../underscore}
-\usepackage{../../lib/texinputs/isabelle,../../lib/texinputs/isabellesym}
-\usepackage{../ttbox,../rail,../railsetup}
+\usepackage{../../lib/texinputs/isabelle}
+\usepackage{../../lib/texinputs/isabellesym}
+\usepackage{../../lib/texinputs/railsetup}
+\usepackage{../ttbox}
 \usepackage{style}
 \usepackage{../pdfsetup}