--- a/doc-src/IsarImplementation/implementation.tex Sun May 01 00:01:59 2011 +0200
+++ b/doc-src/IsarImplementation/implementation.tex Sun May 01 16:36:34 2011 +0200
@@ -3,7 +3,7 @@
\usepackage[refpage]{nomencl}
\usepackage{../iman,../extra,../isar,../proof}
\usepackage[nohyphen,strings]{../underscore}
-\usepackage{../isabelle,../isabellesym}
+\usepackage{../../lib/texinputs/isabelle,../../lib/texinputs/isabellesym}
\usepackage{../ttbox,../rail,../railsetup}
\usepackage{style}
\usepackage{../pdfsetup}