Changes by: Nathaniel Gray (n8gray at caltech.edu) Date: 2004-07-30 15:58:52 -0700 (Fri, 30 Jul 2004) Revision: 6112 Log message:
Finished (hopefully ;^) conversion to new sequent syntax.