Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-01-29 19:20:37 -0800 (Sun, 29 Jan 2006)
Revision: 8623
Log message:

      Added a "squashed" version of sequent induction.  It can be removed
      if we decide it is a bad plan.
      
      I'm starting to get a bad feeling about these append-style
      sequent forms.  They are very complicated.