1.1 --- a/doc-src/IsarRef/isar-ref.tex	Thu May 08 23:07:15 2008 +0200
     1.2 +++ b/doc-src/IsarRef/isar-ref.tex	Fri May 09 12:44:31 2008 +0200
     1.3 @@ -4,7 +4,7 @@
     1.4  \documentclass[12pt,a4paper,fleqn]{report}
     1.5  \usepackage{latexsym,graphicx}
     1.6  \usepackage{../iman,../extra,../isar,../proof}
     1.7 -\usepackage[nohyphen,strings]{underscore}
     1.8 +\usepackage[nohyphen,strings]{../underscore}
     1.9  \usepackage{Thy/document/isabelle,Thy/document/isabellesym}
    1.10  \usepackage{../ttbox,,../rail,../railsetup}
    1.11  \usepackage{style}