Changes by: Xin Yu (xiny at cs.caltech.edu) Date: 2003-03-28 16:26:14 -0800 (Fri, 28 Mar 2003) Revision: 4302 Log message:
Fixed the broken proof of positive_rule1.