diff -r e6fe036ec21d -r a79d7d5f1d06 doc-src/IsarImplementation/implementation.tex
--- a/doc-src/IsarImplementation/implementation.tex	Thu May 08 23:07:15 2008 +0200
+++ b/doc-src/IsarImplementation/implementation.tex	Fri May 09 12:44:31 2008 +0200
@@ -5,7 +5,7 @@
 \usepackage{latexsym,graphicx}
 \usepackage[refpage]{nomencl}
 \usepackage{../iman,../extra,../isar,../proof}
-\usepackage[nohyphen,strings]{underscore}
+\usepackage[nohyphen,strings]{../underscore}
 \usepackage{Thy/document/isabelle,Thy/document/isabellesym}
 \usepackage{style}
 \usepackage{../pdfsetup}