Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-05-07 15:16:47 -0700 (Tue, 07 May 2002)
Revision: 3605
Log message:

      *** empty log message ***
      

Changes	Path
+1 -1	metaprl-branches/ocaml_3_04/Conscript
+1 -1	metaprl-branches/ocaml_3_04/theories/mc/Conscript
+15 -7	metaprl-branches/ocaml_3_04/theories/mc/mp_mc_compile.ml
+3 -1	metaprl-branches/ocaml_3_04/theories/mc/mp_mc_compile.mli
+3 -3	metaprl-branches/ocaml_3_04/theories/mc/mp_mc_deadcode.ml
+1 -1	metaprl-branches/ocaml_3_04/theories/mc/mp_mc_deadcode.mli