/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