Changes by: Jason Hickey (jyh at cs.caltech.edu) Date: 2005-12-14 11:49:48 -0800 (Wed, 14 Dec 2005) Revision: 8295 Log message:
Some initial progress with HOAS sequent derivations.