Changes by: Alexei Kopylov (kopylov at cs.caltech.edu) Date: 2001-07-06 12:19:56 -0700 (Fri, 06 Jul 2001) Revision: 3317 Log message:
Fixed two proofs