Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2006-03-15 22:45:10 -0800 (Wed, 15 Mar 2006)
Revision: 8905
Log message:

      Added elimination rules for let_sovar and let_cvar, which made proving elim_pmn_core_terms much easier.