Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-05-15 01:27:02 -0700 (Wed, 15 May 2002)
Revision: 3642
Log message:

      Removing the mp_mc_fir_phobos* files from
      mp_mc_theory and updating the Makefile
      so that they don't get built as part of a build
      using "make".  (mp_mc_fir_phobos become dependent
      upon MCC)
      

Changes	Path
+0 -2	metaprl/theories/mc/Makefile
+0 -2	metaprl/theories/mc/mp_mc_theory.mlz