/ListConv1.sig/1.2/Thu Dec 28 15:13:02 2000//
/listLib.sig/1.3/Thu Dec 28 15:13:01 2000//
/listLib.sml/1.2/Thu Dec 28 15:13:01 2000//
/listSimps.sig/1.3/Thu Dec 28 15:13:01 2000//
/listSyntax.sig/1.2/Thu Dec 28 15:13:02 2000//
/listSyntax.sml/1.2/Thu Dec 28 15:13:02 2000//
/operatorScript.sml/1.1.1.1/Thu Dec 28 15:13:01 2000//
/rich_listSimps.sig/1.1.1.1/Thu Dec 28 15:13:01 2000//
/listSimps.sml/1.15/Fri Apr 13 07:56:04 2001//
/rich_listSimps.sml/1.4/Fri Jun  8 16:10:49 2001//
/ListConv1.sml/1.9/Mon Jun 11 11:54:25 2001//
/rich_listScript.sml/1.13/Mon Jun 18 23:42:24 2001//
/listScript.sml/1.28/Wed Jun 20 12:41:28 2001//
D
