Changes by: Xin Yu (xiny at cs.caltech.edu) Date: 2003-04-01 16:23:17 -0800 (Tue, 01 Apr 2003) Revision: 4365 Log message:
Simplified some proofs.