Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-08-28 21:35:33 -0700 (Wed, 28 Aug 2002)
Revision: 3834
Log message:

      Committing some typing rules for subscripting rules.  Haven't dealt with
      the case of unions yet since the only way I've come up with so far
      is absolutely hiddeous.  Also haven't done frames yet, but that's becuase
      I've been avoiding everything related to frames for the time being.
      At this point, I'm thinking it might be wise to go through everything
      I've done and see if there's ways I can make things simpler.
      
      (Oh yeah, the documentation for the subscripting rules is completely
      useless at this point.  I'll make it more informative eventually.)
      

Changes	Path
+4 -0	metaprl/theories/fir/README
+128 -4	metaprl/theories/fir/mfir_tr_exp.ml
+41 -0	metaprl/theories/fir/mfir_util.ml
+2 -0	metaprl/theories/fir/mfir_util.mli