Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-11-20 17:45:18 -0800 (Tue, 20 Nov 2001)
Revision: 3453
Log message:

      make will now build the mc theory (and all of MetaPRL) w/o trouble now.
      

Changes	Path
+0 -1	metaprl/theories/mc/Makefile
+0 -1	metaprl/theories/mc/mc_theory.ml
+0 -1	metaprl/theories/mc/mc_theory.mli