Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2003-03-20 17:35:40 -0800 (Thu, 20 Mar 2003)
Revision: 4198
Log message:
Commited some proofs.
Most of the proofs are incomplete (if not all of them).
If they broke, it would be ok, I am going to change them anyway.