1.1 --- a/doc-src/IsarAdvanced/Codegen/style.sty	Thu Feb 26 20:41:28 2009 +0100
     1.2 +++ b/doc-src/IsarAdvanced/Codegen/style.sty	Thu Feb 26 20:44:07 2009 +0100
     1.3 @@ -6,12 +6,6 @@
     1.4  %% references
     1.5  \newcommand{\secref}[1]{\S\ref{#1}}
     1.6  
     1.7 -%% index
     1.8 -\newcommand{\indexml}[1]{\index{\emph{#1}|bold}}
     1.9 -\newcommand{\indexmltype}[1]{\index{\emph{#1} (type)|bold}}
    1.10 -\newcommand{\indexmlstructure}[1]{\index{\emph{#1} (structure)|bold}}
    1.11 -\newcommand{\indexmlfunctor}[1]{\index{\emph{#1} (functor)|bold}}
    1.12 -
    1.13  %% logical markup
    1.14  \newcommand{\strong}[1]{{\bfseries {#1}}}
    1.15  \newcommand{\qn}[1]{\emph{#1}}