Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-05-15 23:13:15 -0700 (Wed, 15 May 2002)
Revision: 3643
Log message:

      Changing fundef term declaration.  In particular, the argument
      and body subterms have been reduced to one subterm that should
      be some sort of lambda term.  connect_prog code needs to be updated
      to handle this new term, but it does compile.
      

Changes	Path
+6 -0	metaprl/theories/mc/mp_mc_connect_prog.ml
+7 -8	metaprl/theories/mc/mp_mc_fir_prog.ml
+3 -3	metaprl/theories/mc/mp_mc_fir_prog.mli