--- a/doc-src/IsarRef/isar-ref.tex Sun Dec 10 21:40:34 2000 +0100
+++ b/doc-src/IsarRef/isar-ref.tex Mon Dec 11 20:08:19 2000 +0100
@@ -14,6 +14,9 @@
\newcommand{\isamath}[1]{\emph{$#1$}}
\newcommand{\isasymColon}{\isamath{\mathrel{::}}}
\newcommand{\isasymRightarrow}{\isamath{\Rightarrow}}
+\newcommand{\isasymleftharpoondown}{\isamath{\leftharpoondown}}
+\newcommand{\isasymrightharpoonup}{\isamath{\rightharpoonup}}
+\newcommand{\isasymrightleftharpoons}{\isamath{\rightleftharpoons}}
\railterm{percent,ppercent,underscore,lbrace,rbrace,atsign}
\railterm{ident,longident,symident,var,textvar,typefree,typevar,nat,string,verbatim,keyword}