Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-02-25 11:02:17 -0800 (Tue, 25 Feb 2003)
Revision: 4127
Log message:

      Working on program normalization, but the rewriter is giving me
      a bad match and I'm having trouble tracking it down.
      

Changes	Path
+1 -0	metaprl/refiner/refiner/refine_error.ml
+6 -0	metaprl/refiner/reflib/refine_exn.ml
+1 -0	metaprl/refiner/refsig/refine_error_sig.ml
+2 -2	metaprl/refiner/rewrite/rewrite_match_redex.ml
+1 -0	metaprl/theories/experimental/compile/Makefile
Added	metaprl/theories/experimental/compile/m_prog.ml
Properties	metaprl/theories/experimental/compile/m_prog.ml
Added	metaprl/theories/experimental/compile/m_prog.mli
Properties	metaprl/theories/experimental/compile/m_prog.mli
+1 -0	metaprl/theories/experimental/compile/m_theory.ml
+1 -0	metaprl/theories/experimental/compile/m_theory.mli