Changes by: Eli Barzilay (eli at cs.cornell.edu)
Date: 1999-06-25 17:10:11 -0700 (Fri, 25 Jun 1999)
Revision: 2755
Log message:

      macro.ml-ified.
      

Changes	Path
+1 -1	metaprl/refiner/term_gen/Makefile
+131 -123	metaprl/refiner/term_gen/term_addr_gen.ml
+36 -36	metaprl/refiner/term_gen/term_man_gen.ml
+6 -6	metaprl/refiner/term_gen/term_meta_gen.ml