Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-11-03 10:58:31 -0800 (Sat, 03 Nov 2001)
Revision: 3435
Log message:

      Everything compiles, but I've managed to break
      something in the last commit.  This commit doesn't
      fix anything, but I'm doing it before I start
      mucking around with a quite a few things.
      

Changes  Path
+1 -28 metaprl/theories/mc/fir_const_elim.ml
+8 -1 metaprl/theories/mc/fir_eval.ml
+4 -0 metaprl/theories/mc/fir_eval.mli
+1747 -1437 metaprl/theories/mc/fir_eval.prla
+26 -208 metaprl/theories/mc/fir_test.ml