Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-08-29 12:05:17 -0700 (Thu, 29 Aug 2002)
Revision: 3835
Log message:

      Minor cleanup to some terms and typing rules, corrections to typing rules, and
      documentation updates.
      

Changes	Path
+3 -5	metaprl/theories/fir/mfir_bool.ml
+0 -26	metaprl/theories/fir/mfir_exp.ml
+7 -15	metaprl/theories/fir/mfir_int.ml
+0 -0	metaprl/theories/fir/mfir_int.mli
+39 -29	metaprl/theories/fir/mfir_int_set.ml
+1 -1	metaprl/theories/fir/mfir_int_set.mli
+1 -1	metaprl/theories/fir/mfir_list.ml
+8 -10	metaprl/theories/fir/mfir_sequent.ml
+2 -2	metaprl/theories/fir/mfir_sequent.mli
+1 -1	metaprl/theories/fir/mfir_termOp.ml
+2 -2	metaprl/theories/fir/mfir_theory.mlz
+7 -7	metaprl/theories/fir/mfir_tr_atom.ml
+38 -23	metaprl/theories/fir/mfir_tr_base.ml
+3 -3	metaprl/theories/fir/mfir_tr_exp.ml
+6 -6	metaprl/theories/fir/mfir_tr_store.ml
+47 -60	metaprl/theories/fir/mfir_tr_types.ml
+4 -15	metaprl/theories/fir/mfir_ty.ml
+14 -13	metaprl/theories/fir/mfir_util.ml