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