Changes by: Jason Hickey (jyh at cs.caltech.edu) Date: 1998-12-29 12:14:09 -0800 (Tue, 29 Dec 1998) Revision: 2528 Log message:
Added "kreitz" command to fold up an entire proof subtree into a single node.