--- a/doc-src/IsarImplementation/style.sty Sun Sep 10 05:34:24 2006 +0200
+++ b/doc-src/IsarImplementation/style.sty Mon Sep 11 12:27:21 2006 +0200
@@ -23,15 +23,10 @@
\newcommand{\indexmlstructure}[1]{\index{\emph{#1} (structure)|bold}}
\newcommand{\indexmlfunctor}[1]{\index{\emph{#1} (functor)|bold}}
-
-\newcommand{\drv}{\mathrel{\vdash}}
-\newcommand{\edrv}{\mathop{\drv}\nolimits}
-\newcommand{\Drv}[1]{\mathrel{\vdash_{#1}}}
-\newcommand{\Or}{\mathrel{\;|\;}}
-
-\renewcommand{\vec}[1]{\overline{#1}}
-\newcommand{\isactrlvec}[1]{\emph{$\vec{#1}$}}
-\renewcommand{\phi}{\varphi}
+%% math
+\newcommand{\text}[1]{\mbox{#1}}
+\newcommand{\isasymvartheta}{\isamath{\theta}}
+\newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}}
\setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}