Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu) Date: 2002-02-21 09:14:28 -0800 (Thu, 21 Feb 2002) Revision: 3505 Log message:
Correct proof for "test"