Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-08-27 12:30:46 -0700 (Tue, 27 Aug 2002)
Revision: 3826
Log message:

      An initial pass at implementing the union of two interval sets.
      I still need to clean up the conversionals somewhat, and then debug
      them. Fun.
      

Changes  Path
+0 -1 metaprl/theories/fir/README
+39 -0 metaprl/theories/fir/mfir_int.ml
+4 -1 metaprl/theories/fir/mfir_int.mli
+200 -60 metaprl/theories/fir/mfir_int_set.ml
+4 -2 metaprl/theories/fir/mfir_int_set.mli
+2 -2 metaprl/theories/fir/mfir_list.ml
+20 -5 metaprl/theories/fir/mfir_termOp.ml
+16 -4 metaprl/theories/fir/mfir_termOp.mli