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