freescale porting

[helm.git] / helm / software / matita / contribs / ng_assembly / emulator / opcodes / HC08_table.ma

diff --git a/helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC08_table.ma b/helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC08_table.ma
index 65e3c1e530479ffb384dfef3d4cda9dd7e3051c2..9a0ec7478fa2e29b023fbab9bacb06954a97a907 100755 (executable)
--- a/helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC08_table.ma
+++ b/helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC08_table.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_HC08_1 ≝
 [