1.1 --- a/doc-src/IsarRef/style.sty	Tue May 03 21:40:14 2011 +0200
     1.2 +++ b/doc-src/IsarRef/style.sty	Tue May 03 21:44:05 2011 +0200
     1.3 @@ -37,7 +37,6 @@
     1.4  \parindent 0pt\parskip 0.5ex
     1.5  
     1.6  \isabellestyle{itunderscore}
     1.7 -\newcommand{\isasymdash}{\mbox{-}}
     1.8  
     1.9  \railtermfont{\isabellestyle{tt}}
    1.10  \railnontermfont{\isabellestyle{itunderscore}}