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

drwxr-xr-x		..
-rwxr-xr-x	28241	aux_bases.ma	blob \| history \| raw
-rwxr-xr-x	35790	aux_bases_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	3814	bool.ma	blob \| history \| raw
-rwxr-xr-x	4979	bool_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	15290	byte8.ma	blob \| history \| raw
-rwxr-xr-x	9232	byte8_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	92147	exadecim.ma	blob \| history \| raw
-rwxr-xr-x	16651	exadecim_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	3305	nat.ma	blob \| history \| raw
-rw-r--r--	4017	nat_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	7015	opcode.ma	blob \| history \| raw
-rwxr-xr-x	39152	opcode_base.ma	blob \| history \| raw
-rwxr-xr-x	5165	opcode_base_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	4520	opcode_base_lemmas1.ma	blob \| history \| raw
-rwxr-xr-x	42900	opcode_base_lemmas_instrmode1.ma	blob \| history \| raw
-rwxr-xr-x	28307	opcode_base_lemmas_instrmode2.ma	blob \| history \| raw
-rwxr-xr-x	41727	opcode_base_lemmas_opcode1.ma	blob \| history \| raw
-rwxr-xr-x	54356	opcode_base_lemmas_opcode2.ma	blob \| history \| raw
-rw-r--r--	3206	option.ma	blob \| history \| raw
-rw-r--r--	4067	option_lemmas.ma	blob \| history \| raw
-rw-r--r--	9418	prod.ma	blob \| history \| raw
-rw-r--r--	18661	prod_lemmas.ma	blob \| history \| raw
-rw-r--r--	2137	pts.ma	blob \| history \| raw
-rwxr-xr-x	20525	table_HC05.ma	blob \| history \| raw
-rwxr-xr-x	5151	table_HC05_tests.ma	blob \| history \| raw
-rwxr-xr-x	27715	table_HC08.ma	blob \| history \| raw
-rwxr-xr-x	7247	table_HC08_tests.ma	blob \| history \| raw
-rwxr-xr-x	28959	table_HCS08.ma	blob \| history \| raw
-rwxr-xr-x	7153	table_HCS08_tests.ma	blob \| history \| raw
-rwxr-xr-x	23675	table_RS08.ma	blob \| history \| raw
-rwxr-xr-x	4144	table_RS08_tests.ma	blob \| history \| raw
-rw-r--r--	10412	theory.ma	blob \| history \| raw
-rwxr-xr-x	10325	word16.ma	blob \| history \| raw
-rwxr-xr-x	11905	word16_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	10604	word32.ma	blob \| history \| raw
-rwxr-xr-x	12799	word32_lemmas.ma	blob \| history \| raw