public interface IProof
void
proof(java.lang.String testCase, java.lang.String proof)
void proof(java.lang.String testCase, java.lang.String proof)
testCase
proof
Copyright (c) 2004. All Rights Reserved.