Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-04-26 21:44:46 -0700 (Fri, 26 Apr 2002)
Revision: 3589
Log message:

      Adding yet another term that I forgot for the FIR.
      

Changes	Path
+2 -1	metaprl/theories/mc/TODO
+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
+1 -0	metaprl/theories/mc/tests/mp_mc_test_connect_base.ml