Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-09-06 14:37:25 -0700 (Fri, 06 Sep 2002)
Revision: 3858
Log message:

      Finally addressing the frame type now that I have some notion
      of a record.
      

Changes  Path
+0 -1 metaprl/theories/fir/BUGS
+10 -0 metaprl/theories/fir/mfir_termOp.ml
+8 -0 metaprl/theories/fir/mfir_termOp.mli
+27 -2 metaprl/theories/fir/mfir_ty.ml
+2 -0 metaprl/theories/fir/mfir_ty.mli