Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-08-27 23:23:34 -0700 (Tue, 27 Aug 2002)
Revision: 3832
Log message:

      This finishes my initial pass at typing rules for match expressions.
      

Changes	Path
+8 -2	metaprl/theories/fir/mfir_sequent.ml
+1 -0	metaprl/theories/fir/mfir_sequent.mli
+51 -0	metaprl/theories/fir/mfir_tr_exp.ml