Changes by: Jason Hickey (jyh at cs.caltech.edu) Date: 2003-08-13 12:00:04 -0700 (Wed, 13 Aug 2003) Revision: 4837 Log message:
Added sequent support in allSubC.