diff -r 52cb0e965041 -r 9b4aec46ad78 doc-src/IsarImplementation/implementation.tex
--- a/doc-src/IsarImplementation/implementation.tex	Thu May 08 22:17:37 2008 +0200
+++ b/doc-src/IsarImplementation/implementation.tex	Thu May 08 22:20:33 2008 +0200
@@ -5,6 +5,7 @@
 \usepackage{latexsym,graphicx}
 \usepackage[refpage]{nomencl}
 \usepackage{../iman,../extra,../isar,../proof}
+\usepackage[nohyphen,strings]{underscore}
 \usepackage{Thy/document/isabelle,Thy/document/isabellesym}
 \usepackage{style}
 \usepackage{../pdfsetup}