/BackwardSolutionListener.java/1.1/Sat Jul 07 23:15:38 2001//
/ForwardSolutionListener.java/1.1/Sat Jul 07 23:43:44 2001//
/ProofQueue.java/1.1/Sat Jul 07 21:32:02 2001//
/BackwardSolution.java/1.2/Sun Jul 15 03:46:42 2001//
/DefaultSolutionFilter.java/1.1/Mon Jul 16 04:25:50 2001//
/ForwardSolution.java/1.3/Sun Jul 15 03:46:26 2001//
/ProofGraph.java/1.3/Sun Jul 15 04:02:40 2001//
/SolutionFilter.java/1.1/Sun Jul 15 06:37:40 2001//
/AbstractProofNode.java/1.4/Fri Aug 10 22:30:37 2001//
/CredentialManager.java/1.2/Fri Aug 10 22:24:39 2001//
/EntityProofNode.java/1.3/Wed Aug 08 23:56:10 2001//
/LinkedRoleProofNode.java/1.3/Thu Aug 09 00:19:04 2001//
/ProofNode.java/1.3/Wed Jul 18 05:08:16 2001//
/RoleProofNode.java/1.3/Thu Aug 09 00:18:59 2001//
/SimpleProofQueue.java/1.2/Fri Aug 10 22:33:17 2001//
D
