Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-08-27 17:47:31 -0700 (Tue, 27 Aug 2002)
Revision: 3829
Log message:
Wrote up most of the rules for unary operations. Some unop's
have been removed from the term-set since we're not sure
how to deal with them yet.
Also making a note to myself in the README file that the current
term-set is somewhat out of date, though I'm not going to worry
about this for a little while.