Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-05-18 00:13:45 -0700 (Sat, 18 May 2002)
Revision: 3671
Log message:

      My final set of code/comment clean-ups for the night.
      Nothing especially interesting here.  Just some
      comments, and a little code restructuring to a
      slightly more logical organization.
      

Changes  Path
+3 -0 metaprl/theories/mc/mp_mc_compile.ml
+21 -96 metaprl/theories/mc/mp_mc_const_elim.ml
+6 -21 metaprl/theories/mc/mp_mc_const_elim.mli
+8 -1 metaprl/theories/mc/mp_mc_deadcode.ml
+0 -1 metaprl/theories/mc/mp_mc_deadcode.mli
+8 -114 metaprl/theories/mc/mp_mc_fir_eval.ml
+0 -43 metaprl/theories/mc/mp_mc_fir_eval.mli
+17 -4 metaprl/theories/mc/mp_mc_inline.ml
+7 -0 metaprl/theories/mc/mp_mc_inline.mli
+2 -3 metaprl/theories/mc/mp_mc_inline_aux.ml
+1 -1 metaprl/theories/mc/mp_mc_inline_aux.mli