| changeset 26862 | a79d7d5f1d06 |
| parent 26858 | b54a1a785664 |
| child 26869 | 3bc332135aa7 |
--- a/doc-src/IsarRef/isar-ref.tex Thu May 08 23:07:15 2008 +0200 +++ b/doc-src/IsarRef/isar-ref.tex Fri May 09 12:44:31 2008 +0200 @@ -4,7 +4,7 @@ \documentclass[12pt,a4paper,fleqn]{report} \usepackage{latexsym,graphicx} \usepackage{../iman,../extra,../isar,../proof} -\usepackage[nohyphen,strings]{underscore} +\usepackage[nohyphen,strings]{../underscore} \usepackage{Thy/document/isabelle,Thy/document/isabellesym} \usepackage{../ttbox,,../rail,../railsetup} \usepackage{style}