/CompletionState.java/1.5/Fri Sep 20 18:40:33 2002//
/Goal.java/1.6/Tue Aug  6 17:50:54 2002//
/IntersectionTTNode.java/1.3/Thu Aug  1 20:47:45 2002//
/LinkTTNode.java/1.7/Wed Feb 26 01:01:46 2003//
/LinkingGoal.java/1.2/Wed Oct  9 23:50:18 2002//
/LinkingGoalNode.java/1.11/Fri Sep 20 18:40:33 2002//
/ProcessingState.java/1.11/Wed Oct  9 23:50:18 2002//
/SatisfactionState.java/1.7/Tue May  7 18:39:11 2002//
/SimpleTTNode.java/1.51/Fri Feb 28 01:04:31 2003//
/SimpleTTNode.notes/1.1/Wed Feb 20 18:51:14 2002//
/StandardTTNode.java/1.9/Fri Nov 15 20:00:18 2002//
/TTGNode.java/1.28/Thu Sep 19 17:38:37 2002//
/TTGNodeSet.java/1.4/Fri Apr 19 00:49:19 2002//
/TargetNode.java/1.34/Sat Nov  9 01:01:58 2002//
/TrivialTTNode.java/1.22/Fri Jun 14 00:56:26 2002//
/TrustTarget.java/1.11/Wed Oct  9 23:50:18 2002//
/TrustTargetParsingException.java/1.1/Fri Jan 25 23:13:47 2002//
/package.html/1.1/Wed Feb 20 18:51:46 2002//
D