--- a/doc-src/IsarRef/style.sty Thu Nov 13 21:41:04 2008 +0100
+++ b/doc-src/IsarRef/style.sty Thu Nov 13 21:43:46 2008 +0100
@@ -16,12 +16,9 @@
\newcommand{\figref}[1]{figure~\ref{#1}}
\newcommand{\Figref}[1]{Figure~\ref{#1}}
-%% index
-\newcommand{\indexml}[1]{\index{\emph{#1}|bold}}
-\newcommand{\indexmlexception}[1]{\index{\emph{#1} (exception)|bold}}
-\newcommand{\indexmltype}[1]{\index{\emph{#1} (type)|bold}}
-\newcommand{\indexmlstructure}[1]{\index{\emph{#1} (structure)|bold}}
-\newcommand{\indexmlfunctor}[1]{\index{\emph{#1} (functor)|bold}}
+%% ML
+\newenvironment{mldecls}{\par\noindent\begingroup\def\isanewline{\\}\begin{tabular}{l}}{\end{tabular}\smallskip\endgroup}
+\newcommand{\indexml}[1]{\index{#1 (ML value)|bold}}
%% math
\newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}}