/group_fun.sig/1.2.4.1/Sun Jun 29 20:47:01 1997//THOL97
/group_fun.sml/1.2.4.1/Sat Jul  5 19:17:31 1997//THOL97
/loaded.sml/1.1.2.1/Sat Jul  5 18:29:51 1997//THOL97
