Changes by: Jason Hickey (jyh at cs.caltech.edu) Date: 1998-04-08 10:56:48 -0700 (Wed, 08 Apr 1998) Revision: 2112 Log message:
Add a sequent.