+emulator/translation/HC08_translation.ma emulator/translation/translation_base.ma
+emulator/opcodes/IP2022_instr_mode.ma num/word16.ma
+emulator/opcodes/HCS08_opcode.ma num/bool.ma
+emulator/opcodes/HC08_opcode.ma num/bool.ma
+num/exadecim_lemmas.ma num/bool_lemmas.ma num/exadecim.ma
+num/word16_lemmas.ma num/byte8_lemmas.ma num/word16.ma
+emulator/status/HC05_status_lemmas.ma emulator/status/HC05_status.ma num/word16_lemmas.ma
+emulator/status/status_getter.ma emulator/status/status_setter.ma
+emulator/opcodes/opcode_lemmas.ma emulator/opcodes/HC05_instr_mode_lemmas.ma emulator/opcodes/HC05_opcode_lemmas.ma emulator/opcodes/HC08_instr_mode_lemmas.ma emulator/opcodes/HC08_opcode_lemmas.ma emulator/opcodes/HCS08_opcode_lemmas.ma emulator/opcodes/IP2022_instr_mode_lemmas.ma emulator/opcodes/IP2022_opcode_lemmas.ma emulator/opcodes/RS08_instr_mode_lemmas.ma emulator/opcodes/RS08_opcode_lemmas.ma emulator/opcodes/opcode.ma
+num/word24.ma num/byte8.ma
+num/bool_lemmas.ma num/bool.ma
+emulator/opcodes/HC08_instr_mode_lemmas.ma emulator/opcodes/HC08_instr_mode.ma num/bool_lemmas.ma num/oct_lemmas.ma
+emulator/model/HC08_model.ma emulator/status/status.ma
+emulator/memory/memory_abs.ma emulator/memory/memory_bits.ma emulator/memory/memory_func.ma emulator/memory/memory_trees.ma
+emulator/opcodes/RS08_opcode.ma num/bool.ma
+num/oct_lemmas.ma num/bool_lemmas.ma num/oct.ma
+emulator/translation/RS08_translation.ma emulator/translation/translation_base.ma
+emulator/memory/memory_struct.ma num/byte8.ma num/oct.ma
+emulator/opcodes/HC05_instr_mode_lemmas.ma emulator/opcodes/HC05_instr_mode.ma num/bool_lemmas.ma num/oct_lemmas.ma
+emulator/model/HC05_model.ma emulator/status/status.ma
+emulator/status/status_setter.ma emulator/status/status.ma
+emulator/translation/HC05_translation.ma emulator/translation/translation_base.ma
+num/word32.ma num/word16.ma
+common/ascii.ma num/bool.ma
+emulator/model/IP2022_model.ma emulator/status/status.ma
+emulator/opcodes/HCS08_table_tests.ma emulator/opcodes/HCS08_table.ma emulator/opcodes/opcode.ma
+emulator/opcodes/HC05_instr_mode.ma num/word16.ma
+emulator/opcodes/IP2022_table_tests.ma emulator/opcodes/IP2022_table.ma emulator/opcodes/opcode.ma
+emulator/status/IP2022_status.ma emulator/memory/memory_struct.ma num/word16.ma num/word24.ma