Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2002-06-27 22:02:11 -0700 (Thu, 27 Jun 2002)
Revision: 3724
Log message:

      Removed Mp_mc-related stuff temporarily, since the FIR changes have
      not been propagated. Currently, in MCC, only Phobos uses MetaPRL.
      When Brian gets back he needs to restore these files, but until then
      I need a working copy of MetaPRL for my work.
      

Changes  Path
+1 -4 metaprl/theories/mc/Conscript
+0 -224 metaprl/theories/mc/mp_mc_base.ml
+10 -0 metaprl/theories/mc/mp_mc_base.mli
+12 -14 metaprl/theories/mc/mp_mc_compile.ml
+2 -1 metaprl/theories/mc/mp_mc_theory.mlz