# HG changeset patch
# User wenzelm
# Date 976999249 -3600
# Node ID 8cb1d80f10de03706b037be239eeb07be5e1450a
# Parent  e6d6f09db29c7d154dbb471a1642cc142b8dddbe
\isasymequiv;

diff -r e6d6f09db29c -r 8cb1d80f10de doc-src/IsarRef/isar-ref.tex
--- a/doc-src/IsarRef/isar-ref.tex	Fri Dec 15 19:04:22 2000 +0100
+++ b/doc-src/IsarRef/isar-ref.tex	Sat Dec 16 21:40:49 2000 +0100
@@ -17,6 +17,7 @@
 \newcommand{\isasymleftharpoondown}{\isamath{\leftharpoondown}}
 \newcommand{\isasymrightharpoonup}{\isamath{\rightharpoonup}}
 \newcommand{\isasymrightleftharpoons}{\isamath{\rightleftharpoons}}
+\newcommand{\isasymequiv}{\isamath{\equiv}}
 
 \railterm{percent,ppercent,underscore,lbrace,rbrace,atsign}
 \railterm{ident,longident,symident,var,textvar,typefree,typevar,nat,string,verbatim,keyword}