/READ-ME/1.1.1.1/Thu Dec 28 15:13:47 2000//
/optionSimps.sig/1.2/Mon Feb  5 12:11:03 2001//
/optionLib.sml/1.5/Fri Mar 23 15:23:04 2001//
/optionSyntax.sig/1.1/Fri Mar 23 14:23:46 2001//
/optionSyntax.sml/1.1/Fri Mar 23 14:26:30 2001//
/optionLib.sig/1.5/Mon Mar 26 04:59:28 2001//
/optionSimps.sml/1.5/Fri Jun 15 16:54:54 2001//
/optionScript.sml/1.15/Wed Jun 20 11:38:24 2001//
D
