tuned;
authorwenzelm
Mon Sep 11 12:27:21 2006 +0200 (2006-09-11 ago)
changeset 2049716f867ed6118
parent 20496 23eb6034c06d
child 20498 825a8d2335ce
tuned;
doc-src/IsarImplementation/style.sty
     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