Changes by: Alexei Kopylov (kopylov at cs.caltech.edu) Date: 2005-05-29 14:17:03 -0700 (Sun, 29 May 2005) Revision: 7339 Log message:
Corrected some theorems