/mk_elt_gp.sml/1.1.1.1.6.1/Sat Jul  5 19:17:46 1997//THOL97
/mk_group.sml/1.1.1.1.6.2/Fri Jul 11 19:44:04 1997//THOL97
/sources.cm/1.1.2.1/Sun Jun 29 17:42:36 1997//THOL97
