diff -r 47b1f34ddd09 -r 479dad7b3b41 doc-src/IsarRef/isar-ref.tex
--- a/doc-src/IsarRef/isar-ref.tex	Wed Jan 10 17:21:31 2001 +0100
+++ b/doc-src/IsarRef/isar-ref.tex	Wed Jan 10 20:18:55 2001 +0100
@@ -47,6 +47,7 @@
 \newcommand{\edrv}{\mathop{\drv}\nolimits}
 \newcommand{\Or}{\mathrel{\;|\;}}
 
+\renewcommand{\vec}[1]{\overline{#1}}
 
 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}