Changes by: Vladimir N. Krupski (krupski at lpcs.math.msu.su)
Date: 1999-11-13 09:20:56 -0800 (Sat, 13 Nov 1999)
Revision: 2848
Log message:

      n*log n unifiability test
      Committing in meta-prl/refiner/term_ds/
      Added Files:
        term_unif_ds.ml
      

Changes	Path
Added	metaprl/refiner/term_ds/term_unif_ds.ml
Properties	metaprl/refiner/term_ds/term_unif_ds.ml