/mk_abcd_hhmm.m/1.1.1.1/Wed May 29 15:59:54 2002//
/mk_arrow_alpha_hhmm3.m/1.1.1.1/Wed May 29 15:59:54 2002//
/mk_hhmm2.m/1.1.1.1/Wed May 29 15:59:54 2002//
/mk_hhmm3.m/1.1.1.1/Wed May 29 15:59:54 2002//
/mk_hhmm3_args.m/1.1.1.1/Wed May 29 15:59:54 2002//
/motif_hhmm.m/1.1.1.1/Wed May 29 15:59:54 2002//
/remove_hhmm_end_state.m/1.1.1.1/Wed May 29 15:59:54 2002//
D