Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-09-26 17:40:57 -0700 (Wed, 26 Sep 2001)
Revision: 3413
Log message:

      Updated some comments and added some for clarification.
      Added a letSubscript rewrite.
      Added a README file to hold some general comments.
      

Changes	Path
Added	metaprl/theories/mc/README
Properties	metaprl/theories/mc/README
+32 -10	metaprl/theories/mc/fir_exp.ml
+22 -5	metaprl/theories/mc/fir_exp.mli
+2 -0	metaprl/theories/mc/fir_int_set.ml
+2 -0	metaprl/theories/mc/fir_int_set.mli
+2 -0	metaprl/theories/mc/fir_state.ml
+2 -0	metaprl/theories/mc/fir_state.mli
+365 -52	metaprl/theories/mc/fir_test.ml
+3 -1	metaprl/theories/mc/fir_test.mli
Deleted	metaprl/theories/mc/fir_test.prla
+1 -1	metaprl/theories/mc/fir_ty.ml
+6 -3	metaprl/theories/mc/fir_ty.mli
+19 -4	metaprl/theories/mc/fir_type.ml
+0 -4	metaprl/theories/mc/fir_type.mli
+23 -25	metaprl/theories/mc/fir_type_exp.ml
+1 -0	metaprl/theories/mc/fir_type_state.ml
+1 -0	metaprl/theories/mc/fir_type_state.mli