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

drwxr-xr-x		..
-rwxr-xr-x	23535	aux_bases.ma	blob \| history \| raw
-rwxr-xr-x	35761	aux_bases_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	2961	bool.ma	blob \| history \| raw
-rwxr-xr-x	4686	bool_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	14068	byte8.ma	blob \| history \| raw
-rwxr-xr-x	8924	byte8_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	89833	exadecim.ma	blob \| history \| raw
-rwxr-xr-x	16455	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	9472	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	44339	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	2982	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	18059	opcode_base.ma	blob \| history \| raw
-rwxr-xr-x	4885	opcode_base_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	4212	opcode_base_lemmas1.ma	blob \| history \| raw
-rwxr-xr-x	43068	opcode_base_lemmas_instrmode1.ma	blob \| history \| raw
-rwxr-xr-x	27999	opcode_base_lemmas_instrmode2.ma	blob \| history \| raw
-rwxr-xr-x	42056	opcode_base_lemmas_opcode1.ma	blob \| history \| raw
-rwxr-xr-x	54048	opcode_base_lemmas_opcode2.ma	blob \| history \| raw
-rw-r--r--	2122	option.ma	blob \| history \| raw
-rw-r--r--	3639	option_lemmas.ma	blob \| history \| raw
-rw-r--r--	4725	prod.ma	blob \| history \| raw
-rw-r--r--	17699	prod_lemmas.ma	blob \| history \| raw
-rw-r--r--	1579	pts.ma	blob \| history \| raw
-rwxr-xr-x	47449	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--	7030	theory.ma	blob \| history \| raw
-rwxr-xr-x	20901	translation.ma	blob \| history \| raw
-rwxr-xr-x	9127	word16.ma	blob \| history \| raw
-rwxr-xr-x	11597	word16_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	9757	word32.ma	blob \| history \| raw
-rwxr-xr-x	12491	word32_lemmas.ma	blob \| history \| raw