Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1997-08-15 17:18:59 -0700 (Fri, 15 Aug 1997)
Revision: 2057
Log message:

       * Added several functions (used in evaluator)
       * Fixed mk_dep0_dep2_dep0_dep2_term
      

Changes	Path
+112 -1	metaprl/refiner/term.ml
+28 -14	metaprl/refiner/term.mli