Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2004-05-28 17:14:30 -0700 (Fri, 28 May 2004)
Revision: 5828
Log message:

      Updated the refiner directory with the quote parameter.
      

Changes	Path
+2 -0	metaprl-branches/quote_param/filter/filter/filter_patt.ml
+3 -0	metaprl-branches/quote_param/refiner/reflib/ascii_io.ml
+3 -2	metaprl-branches/quote_param/refiner/reflib/ascii_io_sig.ml
+1 -0	metaprl-branches/quote_param/refiner/reflib/simple_print.ml
+1 -0	metaprl-branches/quote_param/refiner/reflib/term_compare.ml
+2 -0	metaprl-branches/quote_param/refiner/reflib/term_order.ml
+2 -0	metaprl-branches/quote_param/refiner/rewrite/rewrite.ml
+2 -0	metaprl-branches/quote_param/refiner/rewrite/rewrite_build_contractum.ml
+2 -1	metaprl-branches/quote_param/refiner/rewrite/rewrite_compile_contractum.ml
+1 -0	metaprl-branches/quote_param/refiner/rewrite/rewrite_compile_redex.ml
+4 -0	metaprl-branches/quote_param/refiner/rewrite/rewrite_debug.ml
+1 -0	metaprl-branches/quote_param/refiner/rewrite/rewrite_match_redex.ml
+3 -0	metaprl-branches/quote_param/refiner/rewrite/rewrite_meta.ml
+1 -0	metaprl-branches/quote_param/refiner/rewrite/rewrite_types.ml
+1 -0	metaprl-branches/quote_param/refiner/term_ds/term_man_ds.ml
+21 -0	metaprl-branches/quote_param/refiner/term_ds/term_op_ds.ml
+1 -1	metaprl-branches/quote_param/refiner/term_gen/term_header_constr.ml
+1 -0	metaprl-branches/quote_param/refiner/term_gen/term_man_gen.ml
+5 -0	metaprl-branches/quote_param/refiner/term_gen/term_shape_gen.ml
+14 -0	metaprl-branches/quote_param/refiner/term_std/term_op_std.ml