Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-08-23 10:31:47 -0700 (Fri, 23 Aug 2002)
Revision: 3823
Log message:

      This finishes my initial pass through the typing rules for allocation.
      

Changes	Path
+1 -1	metaprl/theories/fir/mfir_exp.ml
+30 -3	metaprl/theories/fir/mfir_tr_exp.ml
+3 -2	metaprl/theories/fir/mfir_util.ml