Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-10-06 22:09:57 -0700 (Sat, 06 Oct 2001)
Revision: 3421
Log message:

      Essentially, this commit is a bunch of
      code reorganization so that rewrites
      and term declareations are now found
      in more logical places (I claim).
         - Fir*state* is now removed.
         - Fir_ty and Fir_exp now just declare terms.
           All evaluations is done with firEvalT in Fir_eval.
           This means that Fir_int also went away.
         - Fir_*type* are no longer compiled by default.
           I'll come back to these when I need to,
           under the assumption that by then, everything
           else will have stabilized / be close to that state.
      

Changes  Path
+1 -6 metaprl/theories/mc/Makefile
+5 -16 metaprl/theories/mc/README
Added metaprl/theories/mc/fir_eval.ml
Properties metaprl/theories/mc/fir_eval.ml
Added metaprl/theories/mc/fir_eval.mli
Properties metaprl/theories/mc/fir_eval.mli
+66 -110 metaprl/theories/mc/fir_exp.ml
+33 -30 metaprl/theories/mc/fir_exp.mli
Deleted metaprl/theories/mc/fir_int.ml
Deleted metaprl/theories/mc/fir_int.mli
+2 -10 metaprl/theories/mc/fir_int_set.ml
+2 -1 metaprl/theories/mc/fir_int_set.mli
Deleted metaprl/theories/mc/fir_state.ml
Deleted metaprl/theories/mc/fir_state.mli
+0 -55 metaprl/theories/mc/fir_ty.ml
+0 -32 metaprl/theories/mc/fir_ty.mli
+2 -1 metaprl/theories/mc/fir_type_exp.ml
+0 -1 metaprl/theories/mc/fir_type_exp.mli
+0 -1 metaprl/theories/mc/fir_type_int.mli
Deleted metaprl/theories/mc/fir_type_state.ml
Deleted metaprl/theories/mc/fir_type_state.mli
Deleted metaprl/theories/mc/fir_type_state.prla
+5 -6 metaprl/theories/mc/mc_theory.ml
+5 -6 metaprl/theories/mc/mc_theory.mli