Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-11-26 12:05:50 -0800 (Sat, 26 Nov 2005)
Revision: 8218
Log message:

      Added some defined versions of sequent_ind{...}