Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 2003-07-24 17:48:00 -0700 (Thu, 24 Jul 2003) Revision: 4774 Log message:
Simplified some proofs.