Changes by: Justin David Smith (justins at cs.caltech.edu)
Date: 2002-06-14 11:51:30 -0700 (Fri, 14 Jun 2002)
Revision: 3720
Log message:

      Adding MetaPRL support for BoxedTuple (new MCC tuple class).
      

Changes	Path
+3 -0	metaprl/theories/mc/mp_mc_connect_base.ml
+7 -0	metaprl/theories/mc/mp_mc_fir_base.ml
+3 -0	metaprl/theories/mc/mp_mc_fir_base.mli