/isinstr.stp/1.1/Mon Aug 21 16:39:35 2006//
/strlen.stp/1.1/Mon Aug 21 16:39:35 2006//
/substr.stp/1.1/Mon Aug 21 16:39:35 2006//
/text_str.stp/1.1/Mon Aug 21 16:39:35 2006//
/isinstr.exp/1.2/Mon Jan 22 22:27:42 2007//
/strlen.exp/1.2/Mon Jan 22 22:27:43 2007//
/substr.exp/1.2/Mon Jan 22 22:27:45 2007//
/text_str.exp/1.2/Mon Jan 22 22:27:47 2007//
/strtol.exp/1.1/Tue Jan 23 18:03:51 2007//
/strtol.stp/1.1/Tue Jan 23 18:03:51 2007//
/tokenize.exp/1.1/Tue Jan 23 18:03:51 2007//
/tokenize.stp/1.1/Tue Jan 23 18:03:51 2007//
D
