Changes by: Vladimir N. Krupski (krupski at lpcs.math.msu.su)
Date: 2001-01-28 16:16:41 -0800 (Sun, 28 Jan 2001)
Revision: 3117
Log message:
Data types for unification with lasy convertion of terms
Changes | Path |
Added | metaprl/refiner/term_ds/rob_ds.ml |
Properties | metaprl/refiner/term_ds/rob_ds.ml |
Added | metaprl/refiner/term_ds/rob_ds.mli |
Properties | metaprl/refiner/term_ds/rob_ds.mli |