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