1.1 --- a/doc-src/IsarRef/style.sty	Thu Nov 13 21:40:00 2008 +0100
     1.2 +++ b/doc-src/IsarRef/style.sty	Thu Nov 13 21:40:30 2008 +0100
     1.3 @@ -16,6 +16,13 @@
     1.4  \newcommand{\figref}[1]{figure~\ref{#1}}
     1.5  \newcommand{\Figref}[1]{Figure~\ref{#1}}
     1.6  
     1.7 +%% index
     1.8 +\newcommand{\indexml}[1]{\index{\emph{#1}|bold}}
     1.9 +\newcommand{\indexmlexception}[1]{\index{\emph{#1} (exception)|bold}}
    1.10 +\newcommand{\indexmltype}[1]{\index{\emph{#1} (type)|bold}}
    1.11 +\newcommand{\indexmlstructure}[1]{\index{\emph{#1} (structure)|bold}}
    1.12 +\newcommand{\indexmlfunctor}[1]{\index{\emph{#1} (functor)|bold}}
    1.13 +
    1.14  %% math
    1.15  \newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}}
    1.16  \renewcommand{\isadigit}[1]{\isamath{#1}}