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