Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-03-05 18:57:35 -0800 (Sun, 05 Mar 2006)
Revision: 8853
Log message:

      Fixed couple of broken proofs. Most of the reflection proofs are now fully
      grounded!