Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-09-14 15:45:03 -0700 (Fri, 14 Sep 2001)
Revision: 3381
Log message:

      Mc_theory now pulls together everything in
      this theory.  Fir_auto defines an automation
      tactic that can be used for evaluation.
      Also added some support for allocUnion.
      

Changes  Path
+4 -2 metaprl/theories/mc/Makefile
Added metaprl/theories/mc/fir_auto.ml
Properties metaprl/theories/mc/fir_auto.ml
Added metaprl/theories/mc/fir_auto.mli
Properties metaprl/theories/mc/fir_auto.mli
+7 -0 metaprl/theories/mc/fir_exp.ml
+16 -0 metaprl/theories/mc/fir_exp.mli
+19 -0 metaprl/theories/mc/fir_int.mli
+8 -0 metaprl/theories/mc/fir_int_set.mli
+11 -0 metaprl/theories/mc/fir_state.mli
+1 -11 metaprl/theories/mc/fir_test.ml
+1 -11 metaprl/theories/mc/fir_test.mli
+9 -0 metaprl/theories/mc/fir_ty.mli
+14 -0 metaprl/theories/mc/fir_type.mli
+9 -0 metaprl/theories/mc/fir_type_exp.ml
+6 -0 metaprl/theories/mc/fir_type_exp.mli
Added metaprl/theories/mc/mc_theory.ml
Properties metaprl/theories/mc/mc_theory.ml
Added metaprl/theories/mc/mc_theory.mli
Properties metaprl/theories/mc/mc_theory.mli