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

drwxr-xr-x		..
-rw-r--r--	8896	Freescale_instr_mode.ma	blob \| history \| raw
-rw-r--r--	3484	Freescale_instr_mode_lemmas.ma	blob \| history \| raw
-rw-r--r--	13051	Freescale_pseudo.ma	blob \| history \| raw
-rw-r--r--	3302	Freescale_pseudo_lemmas.ma	blob \| history \| raw
-rw-r--r--	17296	HC05_table.ma	blob \| history \| raw
-rw-r--r--	5304	HC05_table_tests.ma	blob \| history \| raw
-rw-r--r--	23366	HC08_table.ma	blob \| history \| raw
-rw-r--r--	7540	HC08_table_tests.ma	blob \| history \| raw
-rw-r--r--	24170	HCS08_table.ma	blob \| history \| raw
-rw-r--r--	7450	HCS08_table_tests.ma	blob \| history \| raw
-rw-r--r--	4478	IP2022_instr_mode.ma	blob \| history \| raw
-rw-r--r--	3326	IP2022_instr_mode_lemmas.ma	blob \| history \| raw
-rw-r--r--	8664	IP2022_pseudo.ma	blob \| history \| raw
-rw-r--r--	3221	IP2022_pseudo_lemmas.ma	blob \| history \| raw
-rw-r--r--	23024	IP2022_table.ma	blob \| history \| raw
-rw-r--r--	6550	IP2022_table_tests.ma	blob \| history \| raw
-rw-r--r--	19956	RS08_table.ma	blob \| history \| raw
-rw-r--r--	4297	RS08_table_tests.ma	blob \| history \| raw
-rw-r--r--	1961	byte_or_word.ma	blob \| history \| raw
-rw-r--r--	7079	pseudo.ma	blob \| history \| raw
-rw-r--r--	4052	pseudo_lemmas.ma	blob \| history \| raw