# HG changeset patch
# User wenzelm
# Date 1157970441 -7200
# Node ID 16f867ed6118be27996d1b31935b439016a47c19
# Parent  23eb6034c06d04430b9379f4a4c587f0fb6acf3c
tuned;

diff -r 23eb6034c06d -r 16f867ed6118 doc-src/IsarImplementation/style.sty
--- 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}