-freescale_tests/micro_tests1.ma freescale/multivm.ma freescale/status_lemmas.ma freescale_tests/micro_tests_tools.ma
-freescale/table_HC08_tests.ma freescale/opcode.ma freescale/table_HC08.ma
+emulator/memory/memory_func.ma common/list.ma common/option.ma emulator/memory/memory_struct.ma num/word32.ma
+emulator/opcodes/RS08_instr_mode.ma num/word16.ma
+num/comp_num_lemmas.ma num/bool_lemmas.ma num/comp_num.ma
+emulator/status/RS08_status.ma num/word16.ma
+emulator/opcodes/HC08_instr_mode.ma num/word16.ma
+emulator/opcodes/opcode.ma common/list.ma emulator/opcodes/HC05_instr_mode.ma emulator/opcodes/HC05_opcode.ma emulator/opcodes/HC08_instr_mode.ma emulator/opcodes/HC08_opcode.ma emulator/opcodes/HCS08_opcode.ma emulator/opcodes/IP2022_instr_mode.ma emulator/opcodes/IP2022_opcode.ma emulator/opcodes/RS08_instr_mode.ma emulator/opcodes/RS08_opcode.ma emulator/opcodes/byte_or_word.ma