Changes by: Vladimir N. Krupski (krupski at lpcs.math.msu.su)
Date: 2001-02-06 15:46:55 -0800 (Tue, 06 Feb 2001)
Revision: 3144
Log message:

      
      occurcheck implemented
      

Changes	Path
+170 -18	metaprl/refiner/term_ds/rob_ds.ml
+2 -1	metaprl/refiner/term_ds/rob_ds.mli