Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-05-16 00:54:07 -0700 (Thu, 16 May 2002)
Revision: 3648
Log message:

      Implementing the fundef conversion code correctly now.
      Preemptive bug fixes to mp_mc_inline.
      

Changes	Path
+24 -11	metaprl/theories/mc/mp_mc_connect_prog.ml
+9 -0	metaprl/theories/mc/mp_mc_inline.ml
+2 -0	metaprl/theories/mc/mp_mc_inline.mli