Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-04-19 01:09:21 -0700 (Fri, 19 Apr 2002)
Revision: 3580
Log message:

      Comitting more changes to reflect the ever changing MC FIR.
      

Changes  Path
+25 -22 metaprl/theories/mc/TODO
+88 -0 metaprl/theories/mc/mp_mc_connect_base.ml
+13 -0 metaprl/theories/mc/mp_mc_connect_base.mli
+68 -171 metaprl/theories/mc/mp_mc_connect_exp.ml
+0 -19 metaprl/theories/mc/mp_mc_connect_exp.mli
+3 -8 metaprl/theories/mc/mp_mc_connect_ty.ml
+132 -0 metaprl/theories/mc/mp_mc_fir_base.ml
+66 -0 metaprl/theories/mc/mp_mc_fir_base.mli
+81 -260 metaprl/theories/mc/mp_mc_fir_exp.ml
+31 -119 metaprl/theories/mc/mp_mc_fir_exp.mli
+7 -16 metaprl/theories/mc/mp_mc_fir_ty.ml
+3 -8 metaprl/theories/mc/mp_mc_fir_ty.mli
+16 -7 metaprl/theories/mc/tests/mp_mc_test_connect.ml
+62 -0 metaprl/theories/mc/tests/mp_mc_test_connect_base.ml
+17 -105 metaprl/theories/mc/tests/mp_mc_test_connect_exp.ml
+1 -3 metaprl/theories/mc/tests/mp_mc_test_connect_ty.ml