Changes by: Jason Hickey (jyh at cs.caltech.edu) Date: 1998-07-24 14:43:28 -0700 (Fri, 24 Jul 1998) Revision: 2358 Log message:
Added debugging to copy_proof.