Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-04-06 10:34:43 -0700 (Wed, 06 Apr 2005)
Revision: 7158
Log message:
Changed the names
arithmetic -> arith
integer -> int
boolean -> bool
Normally, I like the longer descriptive names. However, in this case
the shorter names are actually more widely known and used, and it
is more consistent to use them.