Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-08-23 10:11:09 -0700 (Fri, 23 Aug 2002)
Revision: 3821
Log message:

      Lots of changes here:
      
      1) The usual ``cleaning up documentation and existing rules''.
         Also cleaned up some display forms.
      
      2) Mfir_basic has been split into Mfir_int, Mfir_int_set, Mfir_list,
         and Mfir_bool.  Mfir_basic was getting a bit unwieldy.
      
      3) Wrote up the rules for atomTyApply, atomTyPack, and atomTyUnpack.
      
      4) Wrote up most of the rules for letAlloc.
      
      5) Wrote up a rule for letExt.
      

Changes  Path
+5 -1 metaprl/theories/fir/Makefile
+11 -3 metaprl/theories/fir/README
+2 -2 metaprl/theories/fir/mfir_auto.ml
+2 -2 metaprl/theories/fir/mfir_auto.mli
Deleted metaprl/theories/fir/mfir_basic.ml
Deleted metaprl/theories/fir/mfir_basic.mli
Added metaprl/theories/fir/mfir_bool.ml
Properties metaprl/theories/fir/mfir_bool.ml
Added metaprl/theories/fir/mfir_bool.mli
Properties metaprl/theories/fir/mfir_bool.mli
+31 -24 metaprl/theories/fir/mfir_exp.ml
+2 -9 metaprl/theories/fir/mfir_exp.mli
Added metaprl/theories/fir/mfir_int.ml
Properties metaprl/theories/fir/mfir_int.ml
Added metaprl/theories/fir/mfir_int.mli
Properties metaprl/theories/fir/mfir_int.mli
Added metaprl/theories/fir/mfir_int_set.ml
Properties metaprl/theories/fir/mfir_int_set.ml
Added metaprl/theories/fir/mfir_int_set.mli
Properties metaprl/theories/fir/mfir_int_set.mli
Added metaprl/theories/fir/mfir_list.ml
Properties metaprl/theories/fir/mfir_list.ml
Added metaprl/theories/fir/mfir_list.mli
Properties metaprl/theories/fir/mfir_list.mli
+42 -39 metaprl/theories/fir/mfir_sequent.ml
+0 -1 metaprl/theories/fir/mfir_sequent.mli
+5 -22 metaprl/theories/fir/mfir_termOp.ml
+4 -17 metaprl/theories/fir/mfir_termOp.mli
+5 -3 metaprl/theories/fir/mfir_termOp_base.ml
+13 -8 metaprl/theories/fir/mfir_theory.mlz
+97 -7 metaprl/theories/fir/mfir_tr_atom.ml
+2 -2 metaprl/theories/fir/mfir_tr_atom.mli
+23 -40 metaprl/theories/fir/mfir_tr_base.ml
+3 -2 metaprl/theories/fir/mfir_tr_base.mli
+90 -13 metaprl/theories/fir/mfir_tr_exp.ml
+0 -2 metaprl/theories/fir/mfir_tr_exp.mli
+40 -82 metaprl/theories/fir/mfir_tr_store.ml
+2 -2 metaprl/theories/fir/mfir_tr_store.mli
+97 -106 metaprl/theories/fir/mfir_tr_types.ml
+2 -2 metaprl/theories/fir/mfir_tr_types.mli
+35 -128 metaprl/theories/fir/mfir_ty.ml
+2 -14 metaprl/theories/fir/mfir_ty.mli
Added metaprl/theories/fir/mfir_util.ml
Properties metaprl/theories/fir/mfir_util.ml
Added metaprl/theories/fir/mfir_util.mli
Properties metaprl/theories/fir/mfir_util.mli