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

      Forgot to add these 2 files in the last commit.
      

Changes	Path
Added	metaprl-branches/ocaml_3_04/theories/mc/mp_mc_fir_phobos.ml
Properties	metaprl-branches/ocaml_3_04/theories/mc/mp_mc_fir_phobos.ml
Added	metaprl-branches/ocaml_3_04/theories/mc/mp_mc_fir_phobos.mli
Properties	metaprl-branches/ocaml_3_04/theories/mc/mp_mc_fir_phobos.mli