1.1 --- a/doc-src/IsarAdvanced/Functions/style.sty Thu Feb 26 20:41:28 2009 +0100
1.2 +++ b/doc-src/IsarAdvanced/Functions/style.sty Thu Feb 26 20:44:07 2009 +0100
1.3 @@ -7,12 +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{\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 %% math
1.14 \newcommand{\text}[1]{\mbox{#1}}
1.15 \newcommand{\isasymvartheta}{\isamath{\theta}}