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

drwxr-xr-x		..
-rwxr-xr-x	28724	aux_bases.ma	blob \| history \| raw
-rwxr-xr-x	35482	aux_bases_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	3506	bool.ma	blob \| history \| raw
-rwxr-xr-x	4671	bool_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	14982	byte8.ma	blob \| history \| raw
-rwxr-xr-x	8924	byte8_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	91839	exadecim.ma	blob \| history \| raw
-rwxr-xr-x	16343	exadecim_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	46974	load_write.ma	blob \| history \| raw
-rwxr-xr-x	46932	medium_tests.ma	blob \| history \| raw
-rwxr-xr-x	50909	medium_tests_tools.ma	blob \| history \| raw
-rwxr-xr-x	9468	memory_abs.ma	blob \| history \| raw
-rwxr-xr-x	10877	memory_bits.ma	blob \| history \| raw
-rwxr-xr-x	4245	memory_func.ma	blob \| history \| raw
-rwxr-xr-x	44327	memory_struct.ma	blob \| history \| raw
-rwxr-xr-x	10562	memory_trees.ma	blob \| history \| raw
-rwxr-xr-x	41333	micro_tests.ma	blob \| history \| raw
-rwxr-xr-x	21567	model.ma	blob \| history \| raw
-rwxr-xr-x	60522	multivm.ma	blob \| history \| raw
-rwxr-xr-x	3493	nat.ma	blob \| history \| raw
-rw-r--r--	4950	nat_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	6707	opcode.ma	blob \| history \| raw
-rwxr-xr-x	38844	opcode_base.ma	blob \| history \| raw
-rwxr-xr-x	4857	opcode_base_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	4212	opcode_base_lemmas1.ma	blob \| history \| raw
-rwxr-xr-x	42592	opcode_base_lemmas_instrmode1.ma	blob \| history \| raw
-rwxr-xr-x	27999	opcode_base_lemmas_instrmode2.ma	blob \| history \| raw
-rwxr-xr-x	41419	opcode_base_lemmas_opcode1.ma	blob \| history \| raw
-rwxr-xr-x	54048	opcode_base_lemmas_opcode2.ma	blob \| history \| raw
-rw-r--r--	2898	option.ma	blob \| history \| raw
-rw-r--r--	3759	option_lemmas.ma	blob \| history \| raw
-rw-r--r--	9110	prod.ma	blob \| history \| raw
-rw-r--r--	18353	prod_lemmas.ma	blob \| history \| raw
-rw-r--r--	1829	pts.ma	blob \| history \| raw
-rwxr-xr-x	47437	status.ma	blob \| history \| raw
-rwxr-xr-x	45572	status_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	20217	table_HC05.ma	blob \| history \| raw
-rwxr-xr-x	4843	table_HC05_tests.ma	blob \| history \| raw
-rwxr-xr-x	27407	table_HC08.ma	blob \| history \| raw
-rwxr-xr-x	6939	table_HC08_tests.ma	blob \| history \| raw
-rwxr-xr-x	28651	table_HCS08.ma	blob \| history \| raw
-rwxr-xr-x	6846	table_HCS08_tests.ma	blob \| history \| raw
-rwxr-xr-x	23367	table_RS08.ma	blob \| history \| raw
-rwxr-xr-x	3836	table_RS08_tests.ma	blob \| history \| raw
-rw-r--r--	10104	theory.ma	blob \| history \| raw
-rwxr-xr-x	20893	translation.ma	blob \| history \| raw
-rwxr-xr-x	10017	word16.ma	blob \| history \| raw
-rwxr-xr-x	11597	word16_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	10681	word32.ma	blob \| history \| raw
-rwxr-xr-x	12491	word32_lemmas.ma	blob \| history \| raw