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

      Improved automation on type checking rules.
      Added types to let/set Subscript terms.
      

Changes	Path
+1 -0	metaprl/theories/mc/Makefile
+40 -25	metaprl/theories/mc/fir_exp.ml
+9 -15	metaprl/theories/mc/fir_exp.mli
+0 -6	metaprl/theories/mc/fir_int.ml
+0 -3	metaprl/theories/mc/fir_int.mli
+32 -46	metaprl/theories/mc/fir_test.ml
+1 -0	metaprl/theories/mc/fir_test.mli
+1525 -2551	metaprl/theories/mc/fir_test.prla
+14 -1	metaprl/theories/mc/fir_ty.ml
+3 -0	metaprl/theories/mc/fir_ty.mli
+32 -11	metaprl/theories/mc/fir_type.ml
+2610 -1912	metaprl/theories/mc/fir_type.prla
+70 -64	metaprl/theories/mc/fir_type_exp.ml
+1 -1	metaprl/theories/mc/fir_type_exp.mli
Added	metaprl/theories/mc/fir_type_int.ml
Properties	metaprl/theories/mc/fir_type_int.ml
Added	metaprl/theories/mc/fir_type_int.mli
Properties	metaprl/theories/mc/fir_type_int.mli
Added	metaprl/theories/mc/fir_type_int.prla
Properties	metaprl/theories/mc/fir_type_int.prla
+2 -23	metaprl/theories/mc/fir_type_state.ml
+1386 -1341	metaprl/theories/mc/fir_type_state.prla