Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-05-13 09:23:26 -0700 (Mon, 13 May 2002)
Revision: 3634
Log message:

      Cleaning up idOp rewrites.  (I don't like how
      the previous set depended on which order you
      applied them in.)
      

Changes	Path
+22 -5	metaprl/theories/mc/mp_mc_fir_eval.ml
+4 -1	metaprl/theories/mc/mp_mc_fir_eval.mli