1.1 --- a/doc-src/IsarRef/isar-ref.tex	Thu May 08 22:17:37 2008 +0200
     1.2 +++ b/doc-src/IsarRef/isar-ref.tex	Thu May 08 22:20:33 2008 +0200
     1.3 @@ -4,6 +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{Thy/document/isabelle,Thy/document/isabellesym}
     1.9  \usepackage{../ttbox,,../rail,../railsetup}
    1.10  \usepackage{style}
    1.11 @@ -71,8 +72,6 @@
    1.12  
    1.13  \begin{document}
    1.14  
    1.15 -\underscoreoff
    1.16 -
    1.17  \maketitle 
    1.18  
    1.19  \pagenumbering{roman} \tableofcontents \clearfirst