(* *)
(* ********************************************************************** *)
-include "emulator/opcodes/HC08_opcode.ma".
-include "emulator/opcodes/HC08_instr_mode.ma".
+include "emulator/opcodes/Freescale_pseudo.ma".
+include "emulator/opcodes/Freescale_instr_mode.ma".
include "emulator/opcodes/byte_or_word.ma".
include "common/list.ma".