Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-04-04 23:07:58 -0800 (Thu, 04 Apr 2002)
Revision: 3564
Log message:

      -  Fixed some problems in Mp_mc_fir_eval and proved
         the rewrites in it.
      -  Proved 2 of the deadcode elimination rewrites (in Mp_mc_deadcode).
      

Changes	Path
+9 -29	metaprl/theories/mc/README
+4 -2	metaprl/theories/mc/TODO
Added	metaprl/theories/mc/mp_mc_deadcode.prla
Properties	metaprl/theories/mc/mp_mc_deadcode.prla
+50 -99	metaprl/theories/mc/mp_mc_fir_eval.ml
+4 -11	metaprl/theories/mc/mp_mc_fir_eval.mli
Added	metaprl/theories/mc/mp_mc_fir_eval.prla
Properties	metaprl/theories/mc/mp_mc_fir_eval.prla
+1 -1	metaprl/theories/mc/mp_mc_fir_exp.ml
+1 -1	metaprl/theories/mc/mp_mc_fir_exp.mli
+1 -0	metaprl/theories/mc/mp_mc_theory.mlz