1.1 --- a/doc-src/IsarImplementation/style.sty Sun Sep 10 05:34:24 2006 +0200
1.2 +++ b/doc-src/IsarImplementation/style.sty Mon Sep 11 12:27:21 2006 +0200
1.3 @@ -23,15 +23,10 @@
1.4 \newcommand{\indexmlstructure}[1]{\index{\emph{#1} (structure)|bold}}
1.5 \newcommand{\indexmlfunctor}[1]{\index{\emph{#1} (functor)|bold}}
1.6
1.7 -
1.8 -\newcommand{\drv}{\mathrel{\vdash}}
1.9 -\newcommand{\edrv}{\mathop{\drv}\nolimits}
1.10 -\newcommand{\Drv}[1]{\mathrel{\vdash_{#1}}}
1.11 -\newcommand{\Or}{\mathrel{\;|\;}}
1.12 -
1.13 -\renewcommand{\vec}[1]{\overline{#1}}
1.14 -\newcommand{\isactrlvec}[1]{\emph{$\vec{#1}$}}
1.15 -\renewcommand{\phi}{\varphi}
1.16 +%% math
1.17 +\newcommand{\text}[1]{\mbox{#1}}
1.18 +\newcommand{\isasymvartheta}{\isamath{\theta}}
1.19 +\newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}}
1.20
1.21 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
1.22