Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 2004-07-15 17:12:38 -0700 (Thu, 15 Jul 2004) Revision: 6096 Log message:
Simplified the term grammar a bit.