D/Manual////
D/help////
D/src////
D/theories////
/stringSyntax.sig/1.1/Sat Feb 10 10:28:22 2001//
/stringLib.sig/1.2/Sat Feb 10 13:24:31 2001//
/stringSimps.sig/1.1/Sat Feb 10 13:33:17 2001//
/READ-ME/1.2/Mon Feb 12 10:12:51 2001//
/stringLib.sml/1.3/Mon Feb 12 10:12:51 2001//
/stringSimps.sml/1.2/Mon Feb 12 10:12:51 2001//
/stringSyntax.sml/1.2/Mon Feb 12 10:12:51 2001//
/stringScript.sml/1.5/Wed Jun 20 13:04:24 2001//
