Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-09-09 15:54:33 -0700 (Mon, 09 Sep 2002)
Revision: 3863
Log message:

      Adding the code to handle (raw) integer sets.  This should
      finish off the basic conversion functions, for now.
      

Changes	Path
+4 -0	metaprl/theories/fir/BUGS
+169 -3	metaprl/theories/fir/mfir_connect_base.ml
+19 -0	metaprl/theories/fir/mfir_connect_base.mli