Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-04-23 21:03:39 -0700 (Fri, 23 Apr 2004)
Revision: 5711
Log message:

      Removing more dependencies on Lm_format.
      
      Adjusting name comvention: functions named output_XXX take an output
      channel, and functions names print_XXX send to stdout.  We violated
      this all over the place, using print_XXX not output_XXX.  No big deal.
      

Changes  Path
+1 -1 metaprl/refiner/refiner/refine.ml
+2 -2 metaprl/refiner/reflib/simple_print.ml
+5 -5 metaprl/refiner/rewrite/rewrite_build_contractum.ml
+4 -4 metaprl/refiner/rewrite/rewrite_debug.ml
+8 -8 metaprl/refiner/rewrite/rewrite_match_redex.ml
+2 -2 metaprl/refiner/term_ds/term_base_ds.ml
+1 -1 metaprl/refiner/term_ds/term_subst_ds.ml