Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-08-12 12:52:40 -0700 (Tue, 12 Aug 2003)
Revision: 4828
Log message:

      Turned off the hyp check so that we can at least see the sequents.
      However, it looks like my hack in Unify_mm doesn't work like we want.
      

Changes  Path
+9 -0 metaprl/refiner/rewrite/rewrite_debug.ml
+3 -0 metaprl/refiner/rewrite/rewrite_debug_sig.ml
+10 -10 metaprl/refiner/rewrite/rewrite_match_redex.ml
+5 -16 mpcompiler-branches/mojave_sequents/mmc/core/mmc_core_ast.ml
+0 -1 mpcompiler-branches/mojave_sequents/mmc/core/mmc_core_ast.mli
+5 -13 mpcompiler-branches/mojave_sequents/mmc/core/mmc_core_tast.ml
+2 -5 mpcompiler-branches/mojave_sequents/mmc/core/mmc_core_type_infer.ml