Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-11-17 21:25:05 -0800 (Wed, 17 Nov 2004)
Revision: 6274
Log message:
Fixing some of the proofs broken by today's reflection changes.
Xin, I am leaving the rest of them to you.