matita.cs.unibo.it Git - helm.git/tree - helm/software/matita/contribs/ng

drwxr-xr-x		..
-rwxr-xr-x	5226	HC05_instr_mode.ma	blob \| history \| raw
-rwxr-xr-x	3164	HC05_instr_mode_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	9295	HC05_opcode.ma	blob \| history \| raw
-rwxr-xr-x	3071	HC05_opcode_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	17286	HC05_table.ma	blob \| history \| raw
-rwxr-xr-x	3632	HC05_table_tests.ma	blob \| history \| raw
-rwxr-xr-x	8222	HC08_instr_mode.ma	blob \| history \| raw
-rwxr-xr-x	3177	HC08_instr_mode_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	12473	HC08_opcode.ma	blob \| history \| raw
-rwxr-xr-x	3071	HC08_opcode_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	23356	HC08_table.ma	blob \| history \| raw
-rwxr-xr-x	6411	HC08_table_tests.ma	blob \| history \| raw
-rwxr-xr-x	12605	HCS08_opcode.ma	blob \| history \| raw
-rwxr-xr-x	3098	HCS08_opcode_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	24161	HCS08_table.ma	blob \| history \| raw
-rwxr-xr-x	6316	HCS08_table_tests.ma	blob \| history \| raw
-rwxr-xr-x	4112	IP2022_instr_mode.ma	blob \| history \| raw
-rwxr-xr-x	3325	IP2022_instr_mode_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	8580	IP2022_opcode.ma	blob \| history \| raw
-rwxr-xr-x	3125	IP2022_opcode_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	22886	IP2022_table.ma	blob \| history \| raw
-rwxr-xr-x	6790	IP2022_table_tests.ma	blob \| history \| raw
-rwxr-xr-x	5076	RS08_instr_mode.ma	blob \| history \| raw
-rwxr-xr-x	3362	RS08_instr_mode_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	6860	RS08_opcode.ma	blob \| history \| raw
-rwxr-xr-x	3071	RS08_opcode_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	19946	RS08_table.ma	blob \| history \| raw
-rwxr-xr-x	3204	RS08_table_tests.ma	blob \| history \| raw
-rwxr-xr-x	1961	byte_or_word.ma	blob \| history \| raw
-rwxr-xr-x	6540	opcode.ma	blob \| history \| raw
-rwxr-xr-x	5287	opcode_lemmas.ma	blob \| history \| raw