Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-08-24 12:48:06 -0700 (Sat, 24 Aug 2002)
Revision: 3824
Log message:
I've debugged the rewrites in bool, list, and int_set. In particular,
in order to implement the typing rules for match statements properly,
I'm going to need a correct implementation of basic interval set operations.
So I've corrected the implmentation of the subset relation, and of set
equality. I've also simplified integer sets and raw integer sets into
one generic set term so that I can implement set operations once.