Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-01-27 10:28:20 -0800 (Fri, 27 Jan 2006)
Revision: 8615
Log message:

      Generate the elim-rule.  It is both big and ugly.