/fset_conv.sig/1.2.4.1/Thu Jun 26 21:24:41 1997//THOL97
/fset_conv.sml/1.2.4.1/Fri Jun 27 02:47:48 1997//THOL97
/gspec.sig/1.2.4.1/Thu Jun 26 21:21:31 1997//THOL97
/gspec.sml/1.2.4.1/Fri Jun 27 02:49:57 1997//THOL97
/loaded.sml/1.1.2.1/Tue Jul  1 21:27:11 1997//THOL97
/setLib.sml/1.1.2.1/Sat Jul  5 23:26:22 1997//THOL97
/set_ind.sig/1.2.4.1/Tue Jul  1 21:30:20 1997//THOL97
/set_ind.sml/1.2.4.1/Tue Jul  1 21:30:54 1997//THOL97
