Changes by: Xin Yu (xiny at cs.caltech.edu) Date: 2004-01-14 13:39:29 -0800 (Wed, 14 Jan 2004) Revision: 5251 Log message:
Fixed a broken proof step caused by the removal of Itt_group!isCommutative_wf.