Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 2004-01-18 18:54:46 -0800 (Sun, 18 Jan 2004) Revision: 5262 Log message:
Finished some of the proofs.