Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-08-27 13:44:39 -0700 (Tue, 27 Aug 2002)
Revision: 3827
Log message:

      This should finish up interaval sets, at least for the time being.
      I'm also updating the list of ``test cases'' and committing the
      proofs used to verify the cases.
      

Changes	Path
+27 -3	metaprl/theories/fir/mfir_int_set.ml
+71 -0	metaprl/theories/fir/mfir_test.ml
Added	metaprl/theories/fir/mfir_test.prla
Properties	metaprl/theories/fir/mfir_test.prla