/listLib.sml/1.1.2.1/Tue Jul  1 20:44:53 1997//THOL97
/list_conv.sig/1.2.4.1/Thu Jun 26 23:43:25 1997//THOL97
/list_conv1.sml/1.3.4.1/Tue Jul  1 03:22:21 1997//THOL97
/list_conv2.sml/1.2.4.1/Tue Jul  1 03:46:33 1997//THOL97
/loaded.sml/1.1.2.1/Tue Jul  1 03:02:35 1997//THOL97
