Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-08-01 17:17:56 -0700 (Wed, 01 Aug 2001)
Revision: 3355
Log message:

      Initial import of a model for the integer sets within the FIR.  Doesn't
      completely model the FIR sets yet, but contains sufficient functionality
      relative to the rest of the code at this point.
      

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