changeset 26862 | a79d7d5f1d06 |
parent 26854 | 9b4aec46ad78 |
child 26906 | 6e8152678e06 |
--- 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}