--- a/doc-src/IsarRef/style.sty Tue May 03 15:35:07 2011 +0200
+++ b/doc-src/IsarRef/style.sty Tue May 03 15:37:17 2011 +0200
@@ -16,6 +16,9 @@
%% ML
\newenvironment{mldecls}{\par\noindent\begingroup\def\isanewline{\\}\begin{tabular}{ll}}{\end{tabular}\medskip\endgroup}
+\renewcommand{\isatagML}{\begingroup\isabellestyle{default}\isastyle\def\isadigit##1{##1}}
+\renewcommand{\endisatagML}{\endgroup}
+
%% Isar
\newcommand{\isasymBBAR}{{\,\newdimen{\tmpheight}\settoheight\tmpheight{\isacharbar}\rule{1pt}{\tmpheight}\,}}
\isafoldtag{noproof}\def\isafoldnoproof{~\isafold{proof}}
@@ -42,4 +45,4 @@
\def\rail@termfont{\isabellestyle{tt}\setupunderscore}
\def\rail@nontfont{\isabellestyle{it}\setupunderscore}
\def\rail@namefont{\isabellestyle{it}\setupunderscore}
-\makeatother
\ No newline at end of file
+\makeatother