X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fng_assembly%2Femulator%2Fopcodes%2FHC05_table.ma;h=20b16ec86e185825ef39142451fff78bdac4015d;hb=e880d6eab5e1700f4a625ddcd7d0fa8f0cce2dcc;hp=4217195ff5fa50f4670932cb67cc199e26aac413;hpb=0f13d14b63b012e0ea8ce0d0e71bf808fdd444eb;p=helm.git

diff --git a/helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC05_table.ma b/helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC05_table.ma
index 4217195ff..20b16ec86 100755
--- a/helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC05_table.ma
+++ b/helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC05_table.ma
@@ -20,8 +20,8 @@
 (*                                                                        *)
 (* ********************************************************************** *)
 
-include "emulator/opcodes/HC05_opcode.ma".
-include "emulator/opcodes/HC05_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".
 
@@ -30,9 +30,7 @@ include "common/list.ma".
 (* ***************** *)
 
 (* definizione come concatenazione finale di liste per velocizzare il parsing *)
-(* ogni riga e' (any_opcode m) (instr_mode) (opcode esadecimale) (#cicli esecuzione) *)
-(* NB: l'uso di any_opcode m + concatenazione finale tutte liste
-       impedisce di introdurre opcode disomogenei (per mcu) *)
+(* ogni riga e' [pseudo] [modalita' indirizzamento] [opcode esadecimale] [#cicli esecuzione] *)
 
 ndefinition opcode_table_HC05_1 ≝
 [