1.1 --- a/doc-src/IsarRef/isar-ref.tex	Thu May 08 22:48:09 2008 +0200
     1.2 +++ b/doc-src/IsarRef/isar-ref.tex	Thu May 08 22:48:33 2008 +0200
     1.3 @@ -55,20 +55,6 @@
     1.4  \chardef\charbackquote=`\`
     1.5  \newcommand{\backquote}{\mbox{\tt\charbackquote}}
     1.6  
     1.7 -\newcommand{\drv}{\mathrel{\vdash}}
     1.8 -\newcommand{\edrv}{\mathop{\drv}\nolimits}
     1.9 -\newcommand{\Or}{\mathrel{\;|\;}}
    1.10 -
    1.11 -\renewcommand{\vec}[1]{\overline{#1}}
    1.12 -
    1.13 -\setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
    1.14 -
    1.15 -\pagestyle{headings}
    1.16 -\sloppy
    1.17 -\binperiod     %%%treat . like a binary operator
    1.18 -
    1.19 -\renewcommand{\phi}{\varphi}
    1.20 -
    1.21  
    1.22  \begin{document}
    1.23