/fset_conv.sig/1.2.4.1/Fri Jun 27 02:31:59 1997//THOL97
/fset_conv.sml/1.2.4.1/Fri Jun 27 02:37:22 1997//THOL97
/gspec.sig/1.2.4.1/Fri Jun 27 02:30:27 1997//THOL97
/gspec.sml/1.2.4.1/Tue Jul  1 21:19:48 1997//THOL97
/loaded.sml/1.1.2.1/Tue Jul  1 21:16:13 1997//THOL97
/pred_setLib.sml/1.1.2.1/Sat Jul  5 23:27:36 1997//THOL97
/set_ind.sig/1.2.4.1/Fri Jun 27 02:33:13 1997//THOL97
/set_ind.sml/1.2.4.1/Fri Jun 27 02:48:11 1997//THOL97
