Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-09-16 22:37:42 -0700 (Sun, 16 Sep 2001)
Revision: 3383
Log message:

      Implemented letExt as a no-op and a made a few other minor changes.
      

Changes  Path
+35 -32 metaprl/theories/mc/fir_exp.ml
+4 -1 metaprl/theories/mc/fir_exp.mli
+4 -4 metaprl/theories/mc/fir_ty.ml
+1 -1 metaprl/theories/mc/fir_ty.mli