Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-08-31 16:11:47 -0700 (Wed, 31 Aug 2005)
Revision: 1446
Log message:
Removed checking for shadowing definitions. This is a step
toward what Aleksey wants, where new definitions must be
explicitly declared.