Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2002-05-09 18:58:07 -0700 (Thu, 09 May 2002)
Revision: 3619
Log message:

      Apply reduceC to term...
      

Changes	Path
+2 -0	metaprl-branches/ocaml_3_04/theories/mc/mp_mc_compile.ml
+18 -18	metaprl-branches/ocaml_3_04/theories/mc/mp_mc_fir_phobos.ml
+1 -1	metaprl-branches/ocaml_3_04/theories/mc/mp_mc_theory.mlz