/AbstractProofNode1.java1/1.1.1.1/Tue Nov 13 17:28:45 2001//
/IntersectionProofNode.java1/1.1.1.1/Tue Nov 13 17:28:45 2001//
/OldProofNode.java1/1.1.1.1/Tue Nov 13 17:28:45 2001//
/PartialSolution.java1/1.1.1.1/Tue Nov 13 17:28:45 2001//
/ProofNode.java1/1.1.1.1/Tue Nov 13 17:28:45 2001//
/ProofNode1.java1/1.1.1.1/Tue Nov 13 17:28:45 2001//
D