/sumSimps.sig/1.3/Thu Dec 28 15:15:41 2000//
/sumSimps.sml/1.4/Thu Dec 28 15:15:41 2000//
/sumSyntax.sig/1.1/Fri Feb 16 18:35:05 2001//
/sumSyntax.sml/1.1/Fri Feb 16 18:35:51 2001//
/sumScript.sml/1.12/Wed Jun 20 11:35:46 2001//
D
