/AbstractProofNode.java/1.10/Tue Aug 12 19:48:29 2003//
/BackwardSolution.java/1.1.1.1/Tue Nov 13 17:28:45 2001//
/BackwardSolutionListener.java/1.1.1.1/Tue Nov 13 17:28:45 2001//
/CredentialManager.java/1.6/Tue Aug 12 17:53:23 2003//
/DefaultSolutionFilter.java/1.1.1.1/Tue Nov 13 17:28:45 2001//
/EntityProofNode.java/1.5/Tue Aug 12 17:55:37 2003//
/ForwardSolution.java/1.1.1.1/Tue Nov 13 17:28:45 2001//
/ForwardSolutionListener.java/1.1.1.1/Tue Nov 13 17:28:45 2001//
/GraphEngine.java/1.11/Tue Aug 12 17:53:23 2003//
/IntersectionProofNode.java/1.6/Fri Aug  8 19:26:07 2003//
/LinkedRoleProofNode.java/1.5/Mon Jul 29 21:59:35 2002//
/Oppo.java/1.2/Fri Dec 21 22:49:43 2001//
/PartialSolutionMap.java/1.1/Fri Aug  8 19:26:07 2003//
/ProofGraph.java/1.6/Tue Aug 12 17:54:22 2003//
/ProofNode.java/1.4/Mon Jul 29 21:59:35 2002//
/ProofQueue.java/1.1.1.1/Tue Nov 13 17:28:45 2001//
/RoleProofNode.java/1.7/Fri Aug  8 19:26:07 2003//
/Sens.java/1.3/Tue Mar  5 18:30:52 2002//
/Simp.java/1.2/Fri Dec 21 22:49:43 2001//
/SimpleProofQueue.java/1.1.1.1/Tue Nov 13 17:28:45 2001//
/SolutionFilter.java/1.1.1.1/Tue Nov 13 17:28:45 2001//
/package.html/1.2/Tue Dec 18 01:38:12 2001//
D