diff -r c565f33ec70f -r 41ce4f5c97c9 doc-src/IsarImplementation/style.sty
--- a/doc-src/IsarImplementation/style.sty	Sat Feb 10 09:26:06 2007 +0100
+++ b/doc-src/IsarImplementation/style.sty	Sat Feb 10 09:26:07 2007 +0100
@@ -19,6 +19,7 @@
 
 %% 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}}