Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-09-12 14:43:24 -0700 (Wed, 12 Sep 2001)
Revision: 3378
Log message:

      Forgot to upload some proofs in my last commit.
      Slight change to handling of match cases.
      

Changes	Path
+22 -39	metaprl/theories/mc/fir_exp.ml
+3 -6	metaprl/theories/mc/fir_exp.mli
+9 -9	metaprl/theories/mc/fir_test.ml
+869 -333	metaprl/theories/mc/fir_test.prla
+6 -23	metaprl/theories/mc/fir_type_exp.ml
Added	metaprl/theories/mc/fir_type_exp.prla
Properties	metaprl/theories/mc/fir_type_exp.prla