diff -r 7f7002ad6289 -r 4ce896a30f88 doc-src/IsarRef/style.sty
--- a/doc-src/IsarRef/style.sty	Thu Nov 13 21:40:00 2008 +0100
+++ b/doc-src/IsarRef/style.sty	Thu Nov 13 21:40:30 2008 +0100
@@ -16,6 +16,13 @@
 \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}}
+
 %% math
 \newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}}
 \renewcommand{\isadigit}[1]{\isamath{#1}}