Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-09-07 09:47:35 -0700 (Fri, 07 Sep 2001)
Revision: 3376
Log message:

      Updated the type checking judgements.
      Added a few more terms for FIR terms.
      

Changes	Path
+38 -11	metaprl/theories/mc/fir_exp.ml
+13 -5	metaprl/theories/mc/fir_exp.mli
+32 -1	metaprl/theories/mc/fir_int.ml
+4 -0	metaprl/theories/mc/fir_int.mli
+6 -50	metaprl/theories/mc/fir_test.ml
+180 -653	metaprl/theories/mc/fir_test.prla
+14 -0	metaprl/theories/mc/fir_ty.ml
+1 -0	metaprl/theories/mc/fir_ty.mli
+46 -17	metaprl/theories/mc/fir_type.ml
+15 -1	metaprl/theories/mc/fir_type.mli
+1158 -1097	metaprl/theories/mc/fir_type.prla