/AbstractProofNode.java/1.1.1.1/Sun Jul 14 20:40:39 2002//
/BackwardSolution.java/1.1.1.1/Sun Jul 14 20:40:39 2002//
/BackwardSolutionListener.java/1.1.1.1/Sun Jul 14 20:40:39 2002//
/CredentialManager.java/1.1.1.1/Sun Jul 14 20:40:39 2002//
/DefaultSolutionFilter.java/1.1.1.1/Sun Jul 14 20:40:39 2002//
/EntityProofNode.java/1.1.1.1/Sun Jul 14 20:40:39 2002//
/ForwardSolution.java/1.1.1.1/Sun Jul 14 20:40:39 2002//
/ForwardSolutionListener.java/1.1.1.1/Sun Jul 14 20:40:39 2002//
/LinkedRoleProofNode.java/1.1.1.1/Sun Jul 14 20:40:39 2002//
/ProofGraph.java/1.1.1.1/Sun Jul 14 20:40:39 2002//
/ProofNode.java/1.1.1.1/Sun Jul 14 20:40:39 2002//
/ProofQueue.java/1.1.1.1/Sun Jul 14 20:40:39 2002//
/RoleProofNode.java/1.1.1.1/Sun Jul 14 20:40:39 2002//
/SimpleProofQueue.java/1.1.1.1/Sun Jul 14 20:40:39 2002//
/SolutionFilter.java/1.1.1.1/Sun Jul 14 20:40:39 2002//
D/old////
