Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-04-05 01:33:57 -0800 (Fri, 05 Apr 2002)
Revision: 3565
Log message:

      Redoing constant elimination, now that I've corrected
      the mistake I made in FIR evaluation.  As a sidenote, I'm not
      completely convinced that I've expressed how division expressions evaluation
      "correctly".
      

Changes  Path
+2 -4 metaprl/theories/mc/Conscript
+1 -0 metaprl/theories/mc/Makefile
+3 -0 metaprl/theories/mc/TODO
Added metaprl/theories/mc/mp_mc_const_elim.ml
Properties metaprl/theories/mc/mp_mc_const_elim.ml
Added metaprl/theories/mc/mp_mc_const_elim.mli
Properties metaprl/theories/mc/mp_mc_const_elim.mli
Added metaprl/theories/mc/mp_mc_const_elim.prla
Properties metaprl/theories/mc/mp_mc_const_elim.prla
+6 -1 metaprl/theories/mc/mp_mc_fir_eval.ml
+298 -246 metaprl/theories/mc/mp_mc_fir_eval.prla
+1 -0 metaprl/theories/mc/mp_mc_theory.mlz