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