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

      Splitting typing rules into multiple files, which will be easier to manage.
      Made other miscellaneous changes, mainly to some display forms.
      

Changes  Path
+5 -1 metaprl/theories/fir/Makefile
+4 -0 metaprl/theories/fir/README
+2 -2 metaprl/theories/fir/mfir_basic.ml
+12 -3 metaprl/theories/fir/mfir_exp.ml
+2 -1 metaprl/theories/fir/mfir_sequent.ml
+4 -3 metaprl/theories/fir/mfir_test.ml
+5 -1 metaprl/theories/fir/mfir_theory.mlz
Added metaprl/theories/fir/mfir_tr_atom.ml
Properties metaprl/theories/fir/mfir_tr_atom.ml
Added metaprl/theories/fir/mfir_tr_atom.mli
Properties metaprl/theories/fir/mfir_tr_atom.mli
Added metaprl/theories/fir/mfir_tr_base.ml
Properties metaprl/theories/fir/mfir_tr_base.ml
Added metaprl/theories/fir/mfir_tr_base.mli
Properties metaprl/theories/fir/mfir_tr_base.mli
Added metaprl/theories/fir/mfir_tr_exp.ml
Properties metaprl/theories/fir/mfir_tr_exp.ml
Added metaprl/theories/fir/mfir_tr_exp.mli
Properties metaprl/theories/fir/mfir_tr_exp.mli
Added metaprl/theories/fir/mfir_tr_store.ml
Properties metaprl/theories/fir/mfir_tr_store.ml
Added metaprl/theories/fir/mfir_tr_store.mli
Properties metaprl/theories/fir/mfir_tr_store.mli
Added metaprl/theories/fir/mfir_tr_types.ml
Properties metaprl/theories/fir/mfir_tr_types.ml
Added metaprl/theories/fir/mfir_tr_types.mli
Properties metaprl/theories/fir/mfir_tr_types.mli
+2 -2 metaprl/theories/fir/mfir_ty.ml
Deleted metaprl/theories/fir/mfir_type_rules.ml
Deleted metaprl/theories/fir/mfir_type_rules.mli