Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 2005-02-16 01:46:55 -0800 (Wed, 16 Feb 2005) Revision: 6689 Log message:
Finished couple of proofs