freescale porting

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

diff --git a/helm/software/matita/contribs/ng_assembly/emulator/opcodes/IP2022_instr_mode.ma b/helm/software/matita/contribs/ng_assembly/emulator/opcodes/IP2022_instr_mode.ma
index 45548e7b1250e6b79cc35cd7d0b35bb997b513f0..a12114d8036d86b2f6afaca82be6aad68413d470 100755 (executable)
--- a/helm/software/matita/contribs/ng_assembly/emulator/opcodes/IP2022_instr_mode.ma
+++ b/helm/software/matita/contribs/ng_assembly/emulator/opcodes/IP2022_instr_mode.ma
@@ -68,7 +68,6 @@ ndefinition eq_IP2022_im ≝
   | MODE_FR1n o1 ⇒ match i2 with [ MODE_FR1n o2 ⇒ eq_oct o1 o2 | _ ⇒ false ]
   ].
 
-(* iteratore sulle modalita' *)
 ndefinition forall_IP2022_im ≝ λP:IP2022_instr_mode → bool.
   P MODE_INH
 ⊗ forall_oct (λo.P (MODE_IMM3 o))