Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-04-04 17:16:49 -0800 (Thu, 04 Apr 2002)
Revision: 3563
Log message:

      Updates to reflect the (ever changing) MC FIR.
      

Changes	Path
+1 -2	metaprl/theories/mc/Conscript
+3 -1	metaprl/theories/mc/TODO
+55 -15	metaprl/theories/mc/mp_mc_connect_exp.ml
+5 -0	metaprl/theories/mc/mp_mc_connect_exp.mli
+4 -5	metaprl/theories/mc/mp_mc_connect_ty.ml
+77 -28	metaprl/theories/mc/mp_mc_fir_exp.ml
+39 -12	metaprl/theories/mc/mp_mc_fir_exp.mli
+7 -7	metaprl/theories/mc/mp_mc_fir_ty.ml
+3 -3	metaprl/theories/mc/mp_mc_fir_ty.mli
+1 -1	metaprl/theories/mc/tests/Conscript
+44 -29	metaprl/theories/mc/tests/mp_mc_test_connect_exp.ml
+3 -3	metaprl/theories/mc/tests/mp_mc_test_connect_ty.ml