Changes by: Vladimir N. Krupski (krupski at lpcs.math.msu.su)
Date: 2000-10-03 14:15:35 -0700 (Tue, 03 Oct 2000)
Revision: 3080
Log message:

      small bug in timestamps; fixed.
      

Changes	Path
+12 -12	metaprl/refiner/term_ds/term_unif_ds.ml