Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-06-15 14:58:07 -0700 (Mon, 15 Jun 1998)
Revision: 2243
Log message:

      Added a few new functions.
      

Changes	Path
+4 -4	metaprl/refiner/refsig/Makefile
+7 -5	metaprl/refiner/refsig/term_man_sig.ml
+4 -1	metaprl/refiner/refsig/term_meta_sig.ml
+7 -0	metaprl/refiner/refsig/term_op_sig.ml
+7 -4	metaprl/refiner/refsig/term_simple_sig.mlz
+38 -38	metaprl/refiner/term_ds/term_ds.ml
+4 -4	metaprl/refiner/term_ds/term_ds.mli
+9 -9	metaprl/refiner/term_ds/term_eval_ds.ml
+103 -74	metaprl/refiner/term_ds/term_op_ds.ml
+28 -27	metaprl/refiner/term_ds/term_subst_ds.ml
+17 -8	metaprl/refiner/term_gen/term_addr_gen.ml
+48 -39	metaprl/refiner/term_gen/term_man_gen.ml
+11 -5	metaprl/refiner/term_gen/term_meta_gen.ml
+2 -2	metaprl/refiner/term_gen/term_shape_gen.ml
+12 -9	metaprl/refiner/term_std/term_eval_std.ml
+101 -73	metaprl/refiner/term_std/term_op_std.ml
+36 -32	metaprl/refiner/term_std/term_std.ml
+5 -2	metaprl/refiner/term_std/term_std.mli
+41 -35	metaprl/refiner/term_std/term_subst_std.ml