Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-01-28 17:51:50 -0800 (Mon, 28 Jan 2002)
Revision: 3483
Log message:

      Adding more test cases.  Some of the cases
      have already hilighted some bugs (which
      I need to track down and fix).
      

Changes  Path
+4 -3 metaprl/theories/mc/README
+3 -1 metaprl/theories/mc/TODO
+14 -1 metaprl/theories/mc/tests/mp_mc_test_connect_base.ml
+347 -0 metaprl/theories/mc/tests/mp_mc_test_connect_exp.ml
+74 -2 metaprl/theories/mc/tests/mp_mc_test_connect_ty.ml