/Functor.java/1.3/Mon Apr 19 17:45:36 2004//
/Goal.java/1.6/Wed May 12 20:33:20 2004//
/Predicate.java/1.6/Wed May 12 21:58:25 2004//
/Program.java/1.6/Thu May  6 18:18:36 2004//
/Rule.java/1.6/Thu May  6 17:12:36 2004//
/StripsProgram.java/1.1/Fri Jul 25 22:39:44 2003//
/StripsRule.java/1.1/Fri Jul 25 22:39:43 2003//
/Substitution.java/1.1/Fri Jul 25 22:39:44 2003//
/Term.java/1.5/Wed May 12 20:33:47 2004//
/Tester.java/1.1/Fri Jul 25 22:39:44 2003//
