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