
diff -r 725a91601ed1 -r 27ea2ba48fa3 doc-src/IsarImplementation/style.sty
--- a/doc-src/IsarImplementation/style.sty	Thu Aug 31 18:27:40 2006 +0200
+++ b/doc-src/IsarImplementation/style.sty	Thu Aug 31 22:55:49 2006 +0200
@@ -38,6 +38,8 @@
 \binperiod
 \underscoreon
 
+\renewcommand{\isadigit}[1]{\isamath{#1}}
+
 \newenvironment{mldecls}{\par\noindent\begingroup\footnotesize\def\isanewline{\\}\begin{tabular}{l}}{\end{tabular}\medskip\endgroup}
 
 \isafoldtag{FIXME}




