Changes by: Jason Hickey (jyh at cs.caltech.edu) Date: 2005-04-03 15:36:02 -0700 (Sun, 03 Apr 2005) Revision: 7097 Log message:
Ignore quoted terms during checking.