/AbstractProofNode1.java1/1.1.1.1/Sun Jul 14 20:40:39 2002//
/IntersectionProofNode.java1/1.1.1.1/Sun Jul 14 20:40:39 2002//
/OldProofNode.java1/1.1.1.1/Sun Jul 14 20:40:39 2002//
/PartialSolution.java1/1.1.1.1/Sun Jul 14 20:40:39 2002//
/ProofNode.java1/1.1.1.1/Sun Jul 14 20:40:39 2002//
/ProofNode1.java1/1.1.1.1/Sun Jul 14 20:40:39 2002//
D
