Changes by: Justin David Smith (justins at cs.caltech.edu)
Date: 2002-06-11 13:30:13 -0700 (Tue, 11 Jun 2002)
Revision: 3710
Log message:

      Revising FIR so it handles the level changes I pushed through recently.
      

Changes	Path
+12 -11	metaprl/theories/mc/mp_mc_connect_exp.ml
+14 -14	metaprl/theories/mc/mp_mc_fir_exp.ml
+6 -6	metaprl/theories/mc/mp_mc_fir_exp.mli