Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-08-29 16:23:55 -0700 (Thu, 29 Aug 2002)
Revision: 3837
Log message:

      More corrections to typing rules (and a minor typo fix to a display form).
      Also noting that the match rule for unions that I have might be buggy.
      Looks okay, but I'm going to have to think about how the sequents work
      a bit more before I'll be completely convinced that it's the correct rule.
      

Changes	Path
+6 -1	metaprl/theories/fir/mfir_tr_exp.ml
+4 -11	metaprl/theories/fir/mfir_tr_store.ml
+1 -1	metaprl/theories/fir/mfir_util.ml