Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-08-28 10:02:02 -0700 (Wed, 28 Aug 2002)
Revision: 3833
Log message:

      Some minimal documentation for the match expression typing rules.
      I will need to go through them again and clean them up some time.
      

Changes	Path
+44 -3	metaprl/theories/fir/mfir_tr_exp.ml