/open_pair.sml/1.1.1.1/Mon Oct 16 13:32:23 1995//THOL97
/all.sml/1.2.4.1/Mon Jul 14 17:26:33 1997//THOL97
/basic.sml/1.2.4.1/Mon Jul 14 17:26:36 1997//THOL97
/both1.sml/1.2.4.1/Mon Jul 14 17:26:38 1997//THOL97
/both2.sml/1.2.4.1/Mon Jul 14 17:26:40 1997//THOL97
/conv.sml/1.2.4.1/Mon Jul 14 17:26:44 1997//THOL97
/exi.sml/1.2.4.1/Mon Jul 14 17:26:47 1997//THOL97
/loaded.sml/1.1.2.1/Tue Jul  1 20:38:30 1997//THOL97
/pairLib.sig/1.1.2.1/Tue Jul  1 20:58:02 1997//THOL97
/pairLib.sml/1.1.2.1/Tue Jul  1 20:47:10 1997//THOL97
/syn.sml/1.2.4.1/Mon Jul 14 17:26:54 1997//THOL97
