doc-src/IsarImplementation/style.sty
changeset 22289 41ce4f5c97c9
parent 20547 796ae7fa1049
child 22868 c82dd66560ac
     1.1 --- a/doc-src/IsarImplementation/style.sty	Sat Feb 10 09:26:06 2007 +0100
     1.2 +++ b/doc-src/IsarImplementation/style.sty	Sat Feb 10 09:26:07 2007 +0100
     1.3 @@ -19,6 +19,7 @@
     1.4  
     1.5  %% index
     1.6  \newcommand{\indexml}[1]{\index{\emph{#1}|bold}}
     1.7 +\newcommand{\indexmlexception}[1]{\index{\emph{#1} (exception)|bold}}
     1.8  \newcommand{\indexmltype}[1]{\index{\emph{#1} (type)|bold}}
     1.9  \newcommand{\indexmlstructure}[1]{\index{\emph{#1} (structure)|bold}}
    1.10  \newcommand{\indexmlfunctor}[1]{\index{\emph{#1} (functor)|bold}}