Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-08-12 11:47:28 -0700 (Mon, 12 Aug 2002)
Revision: 3791
Log message:

      This is an intermediate commit, in the sense that I have a few temporary
      markers indicating places that I still need to finish off.  This commit adds a
      few more typing rules and some documentation updates.  I suppose I should
      tackle the harder typing rules at some point...
      

Changes  Path
+1 -0 metaprl/theories/fir/Makefile
+14 -0 metaprl/theories/fir/README
Added metaprl/theories/fir/mfir_auto.ml
Properties metaprl/theories/fir/mfir_auto.ml
Added metaprl/theories/fir/mfir_auto.mli
Properties metaprl/theories/fir/mfir_auto.mli
+92 -30 metaprl/theories/fir/mfir_basic.ml
+9 -0 metaprl/theories/fir/mfir_basic.mli
+19 -21 metaprl/theories/fir/mfir_exp.ml
+41 -14 metaprl/theories/fir/mfir_sequent.ml
+3 -1 metaprl/theories/fir/mfir_sequent.mli
+5 -0 metaprl/theories/fir/mfir_termOp.ml
+4 -0 metaprl/theories/fir/mfir_termOp.mli
+0 -3 metaprl/theories/fir/mfir_test.ml
+2 -2 metaprl/theories/fir/mfir_theory.mlz
+59 -20 metaprl/theories/fir/mfir_tr_atom.ml
+5 -3 metaprl/theories/fir/mfir_tr_base.ml
+93 -8 metaprl/theories/fir/mfir_tr_exp.ml
+19 -6 metaprl/theories/fir/mfir_tr_store.ml
+139 -44 metaprl/theories/fir/mfir_tr_types.ml
+20 -14 metaprl/theories/fir/mfir_ty.ml