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

      I've written up half of the rules for match expressions.
      I'm leaving the union case for last... (-:
      

Changes	Path
+1 -1	metaprl/theories/fir/mfir_exp.ml
+0 -1	metaprl/theories/fir/mfir_tr_atom.ml
+47 -0	metaprl/theories/fir/mfir_tr_exp.ml
+37 -0	metaprl/theories/fir/mfir_util.ml
+4 -0	metaprl/theories/fir/mfir_util.mli