doc-src/IsarImplementation/style.sty
changeset 30120 aaa4667285c8
parent 29776 8f2eb202ae94
child 30242 aea5d7fa7ef5
     1.1 --- a/doc-src/IsarImplementation/style.sty	Thu Feb 26 20:41:28 2009 +0100
     1.2 +++ b/doc-src/IsarImplementation/style.sty	Thu Feb 26 20:44:07 2009 +0100
     1.3 @@ -7,13 +7,6 @@
     1.4  \newcommand{\chref}[1]{chapter~\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{\text}[1]{\mbox{#1}}
    1.16  \newcommand{\isasymvartheta}{\isamath{\theta}}