Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-02-19 18:58:17 -0800 (Sun, 19 Feb 2006)
Revision: 8740
Log message:

      Add the other reflected theorems, including the elimination rule.
      
      Dependency analysis seems to be failing.  I'll see...