doc-src/IsarRef/style.sty

--- a/doc-src/IsarRef/style.sty	Fri May 02 22:49:53 2008 +0200
+++ b/doc-src/IsarRef/style.sty	Sat May 03 13:25:27 2008 +0200
@@ -46,6 +46,7 @@
 \isabellestyle{it}
 \renewcommand{\isacharunderscore}{\_}
 \renewcommand{\isacharunderscorekeyword}{\_}
+\newcommand{\isasymdash}{\mbox{-}}
 
 %%% Local Variables: 
 %%% mode: latex