Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-08-12 16:34:08 -0700 (Mon, 12 Aug 2002)
Revision: 3796
Log message:
Simplifying many rules by the deletion of unnessary premises. This addresses
some of the comments that I've had in the README file for a while.