Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-09-24 15:07:44 -0700 (Tue, 24 Sep 2002)
Revision: 3897
Log message:

      Eliminating another case in which I depended on rewrites being
      executes in a certain order.
      

Changes	Path
+4 -4	metaprl/theories/fir/mfir_tr_atom.ml
+42 -50	metaprl/theories/fir/mfir_util.ml
+5 -5	metaprl/theories/fir/mfir_util.mli