Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-09-19 21:33:32 -0700 (Wed, 19 Sep 2001)
Revision: 3388
Log message:

      Removed fir_auto since the one automation I provided doesn't work
      effectively on actual compiler output.  Updated some comments
      and added some rewrites to evaluate output from the compiler.
      Compiler output of simple programs seems to evaluate now.
      

Changes  Path
+1 -3 metaprl/theories/mc/Makefile
Deleted metaprl/theories/mc/fir_auto.ml
Deleted metaprl/theories/mc/fir_auto.mli
+39 -7 metaprl/theories/mc/fir_exp.ml
+37 -8 metaprl/theories/mc/fir_exp.mli
Deleted metaprl/theories/mc/fir_test2.ml
Deleted metaprl/theories/mc/fir_test2.mli
+7 -2 metaprl/theories/mc/fir_ty.ml
+3 -1 metaprl/theories/mc/fir_ty.mli
+0 -1 metaprl/theories/mc/mc_theory.ml
+0 -1 metaprl/theories/mc/mc_theory.mli