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

      Removing one instance in which I depended on rewrites being
      executed in a certain order to get the correct semantics for
      something.
      

Changes	Path
+1 -2	metaprl/theories/fir/mfir_tr_types.ml
+27 -23	metaprl/theories/fir/mfir_util.ml
+4 -3	metaprl/theories/fir/mfir_util.mli