Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-09-05 15:39:26 -0700 (Thu, 05 Sep 2002)
Revision: 3851
Log message:
Cleaning up the code for rewriting integer set operations. They
should at least be somewhat readable now. I also got rid of the
shorthand singleton term since it was pretty much useless.