freescale/opcode_base_lemmas1.ma freescale/opcode_base_lemmas_instrmode.ma freescale/opcode_base_lemmas_opcode.ma num/word16_lemmas.ma
freescale/table_HC08.ma common/list.ma freescale/opcode_base.ma
num/bool_lemmas.ma num/bool.ma
freescale/opcode_base_lemmas1.ma freescale/opcode_base_lemmas_instrmode.ma freescale/opcode_base_lemmas_opcode.ma num/word16_lemmas.ma
freescale/table_HC08.ma common/list.ma freescale/opcode_base.ma
num/bool_lemmas.ma num/bool.ma