Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-11-29 12:23:02 -0800 (Thu, 29 Nov 2001)
Revision: 3458
Log message:

      More "connection" code.  Most of the function are there,
      but some still need to be completely defined.
      

Changes	Path
+2 -0	metaprl/theories/mc/README
+3 -0	metaprl/theories/mc/mc_fir_connect.ml
+1 -1	metaprl/theories/mc/mc_fir_connect.mli
+33 -7	metaprl/theories/mc/mc_fir_connect_base.ml
+17 -5	metaprl/theories/mc/mc_fir_connect_base.mli
+263 -34	metaprl/theories/mc/mc_fir_connect_exp.ml
+20 -0	metaprl/theories/mc/mc_fir_connect_exp.mli
+66 -20	metaprl/theories/mc/mc_fir_connect_ty.ml
+7 -4	metaprl/theories/mc/mc_fir_connect_ty.mli