Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2002-09-13 01:06:29 -0700 (Fri, 13 Sep 2002)
Revision: 3876
Log message:

      Took out extra rewrites, since they should be in reduceC.
      Eventually, this stuff will move to theories/phobos.
      

Changes	Path
+1 -0	metaprl/theories/mc/mp_mc_compile.ml
+1 -7	metaprl/theories/mc/mp_mc_fir_phobos.ml