Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-07-27 09:27:41 -0700 (Fri, 27 Jul 2001)
Revision: 3350
Log message:

      Initial import of the type system for the FIR.  Not everything is here yet.
      

Changes	Path
Added	metaprl/theories/mc/fir_ty.ml
Properties	metaprl/theories/mc/fir_ty.ml
Added	metaprl/theories/mc/fir_ty.mli
Properties	metaprl/theories/mc/fir_ty.mli