Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2002-05-28 20:09:00 -0700 (Tue, 28 May 2002)
Revision: 3700
Log message:

      Added more functionality to interface with Phobos.
      

Changes	Path
+37 -6	metaprl/theories/mc/mp_mc_compile.ml
+8 -0	metaprl/theories/mc/mp_mc_compile.mli
+14 -3	metaprl/theories/mc/mp_mc_fir_phobos.ml
+1 -0	metaprl/theories/mc/mp_mc_fir_phobos.mli