Changes by: Vladimir N. Krupski (krupski at lpcs.math.msu.su)
Date: 2004-01-10 16:57:39 -0800 (Sat, 10 Jan 2004)
Revision: 5242
Log message:

      Restored "==" (instead of "=") for bound variables.
      It was removed by mistake in revision 1.5
      

Changes	Path
+1 -1	metaprl/refiner/reflib/unify_mm.ml