Changes by: Eli Barzilay (eli at cs.cornell.edu)
Date: 1999-06-22 13:33:49 -0700 (Tue, 22 Jun 1999)
Revision: 2741
Log message:

      Using macro.ml for this directory works.
      

Changes	Path
+1 -1	metaprl/refiner/term_std/Makefile
+27 -27	metaprl/refiner/term_std/term_base_std.ml
+4 -4	metaprl/refiner/term_std/term_eval_std.ml
+40 -40	metaprl/refiner/term_std/term_op_std.ml
+71 -44	metaprl/refiner/term_std/term_subst_std.ml