Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-05-28 19:29:21 -0700 (Thu, 28 May 1998)
Revision: 2198
Log message:

      Created refiner/term_gen directory
      Moved renamed term_std/term_meta_std to term_gen/term_meta_gen
      

Changes  Path
+8 -0 metaprl/refiner/Makefile
+1 -1 metaprl/refiner/refiner/Makefile
+5 -1 metaprl/refiner/refiner/refiner_ds.ml
+5 -1 metaprl/refiner/refiner/refiner_std.ml
Properties metaprl/refiner/term_gen
Added metaprl/refiner/term_gen/Files
Properties metaprl/refiner/term_gen/Files
Added metaprl/refiner/term_gen/Makefile
Properties metaprl/refiner/term_gen/Makefile
Added metaprl/refiner/term_gen/term_meta_gen.ml
Properties metaprl/refiner/term_gen/term_meta_gen.ml
Added metaprl/refiner/term_gen/term_meta_gen.mli
Properties metaprl/refiner/term_gen/term_meta_gen.mli
+0 -1 metaprl/refiner/term_std/Files
Deleted metaprl/refiner/term_std/term_meta_std.ml
Deleted metaprl/refiner/term_std/term_meta_std.mli