Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2002-02-24 18:10:09 -0800 (Sun, 24 Feb 2002)
Revision: 3514
Log message:

      Added "is_dep0_dep0_dep0_dep0_term", "mk_dep0_dep0_dep0_dep0_term",
      and "dest_dep0_dep0_dep0_dep0_term" for terms with 4 subterms.
      

Changes	Path
+3 -0	metaprl/refiner/refsig/term_op_sig.ml
+26 -0	metaprl/refiner/term_ds/term_op_ds.ml
+29 -0	metaprl/refiner/term_std/term_op_std.ml