Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-08-01 17:24:06 -0700 (Wed, 01 Aug 2001)
Revision: 3356
Log message:

      Made some things more internally consistant and cleaned up a few things.
      The next step will be to continue modelling the FIR and cleaning things
      up as needed to make the model faithful to the FIR in the mc compiler.
      

Changes  Path
+37 -91 metaprl/theories/mc/fir_exp.ml
+8 -27 metaprl/theories/mc/fir_exp.mli
+70 -64 metaprl/theories/mc/fir_int.ml
+17 -22 metaprl/theories/mc/fir_int.mli
+42 -26 metaprl/theories/mc/fir_ty.ml
+25 -8 metaprl/theories/mc/fir_ty.mli