1.1 --- a/doc-src/IsarRef/isar-ref.tex	Wed Jan 10 17:21:31 2001 +0100
     1.2 +++ b/doc-src/IsarRef/isar-ref.tex	Wed Jan 10 20:18:55 2001 +0100
     1.3 @@ -47,6 +47,7 @@
     1.4  \newcommand{\edrv}{\mathop{\drv}\nolimits}
     1.5  \newcommand{\Or}{\mathrel{\;|\;}}
     1.6  
     1.7 +\renewcommand{\vec}[1]{\overline{#1}}
     1.8  
     1.9  \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
    1.10