Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-08-12 13:37:37 -0700 (Mon, 12 Aug 2002)
Revision: 3792
Log message:

      Except for values of a union type, this commit finishes an initial pass at
      typing rules for store values.
      

Changes	Path
+20 -0	metaprl/theories/fir/mfir_basic.ml
+2 -0	metaprl/theories/fir/mfir_basic.mli
+1 -1	metaprl/theories/fir/mfir_sequent.ml
+5 -0	metaprl/theories/fir/mfir_termOp.ml
+4 -0	metaprl/theories/fir/mfir_termOp.mli
+16 -0	metaprl/theories/fir/mfir_tr_base.ml
+60 -4	metaprl/theories/fir/mfir_tr_store.ml