Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 2005-05-19 01:14:56 -0700 (Thu, 19 May 2005) Revision: 7295 Log message:
Updated couple of proofs a bit.