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	35026	aux_bases_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	2961	bool.ma	blob \| history \| raw
-rwxr-xr-x	4621	bool_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	14076	byte8.ma	blob \| history \| raw
-rwxr-xr-x	8846	byte8_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	90601	exadecim.ma	blob \| history \| raw
-rwxr-xr-x	16046	exadecim_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	44982	load_write.ma	blob \| history \| raw
-rwxr-xr-x	46908	medium_tests.ma	blob \| history \| raw
-rwxr-xr-x	50909	medium_tests_tools.ma	blob \| history \| raw
-rwxr-xr-x	8615	memory_abs.ma	blob \| history \| raw
-rwxr-xr-x	10893	memory_bits.ma	blob \| history \| raw
-rwxr-xr-x	4245	memory_func.ma	blob \| history \| raw
-rwxr-xr-x	40625	memory_struct.ma	blob \| history \| raw
-rwxr-xr-x	10562	memory_trees.ma	blob \| history \| raw
-rwxr-xr-x	41328	micro_tests.ma	blob \| history \| raw
-rwxr-xr-x	16874	model.ma	blob \| history \| raw
-rwxr-xr-x	58409	multivm.ma	blob \| history \| raw
-rwxr-xr-x	2982	nat.ma	blob \| history \| raw
-rw-r--r--	4868	nat_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	6701	opcode.ma	blob \| history \| raw
-rwxr-xr-x	18059	opcode_base.ma	blob \| history \| raw
-rwxr-xr-x	4850	opcode_base_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	4168	opcode_base_lemmas1.ma	blob \| history \| raw
-rwxr-xr-x	43083	opcode_base_lemmas_instrmode1.ma	blob \| history \| raw
-rwxr-xr-x	27501	opcode_base_lemmas_instrmode2.ma	blob \| history \| raw
-rwxr-xr-x	42056	opcode_base_lemmas_opcode1.ma	blob \| history \| raw
-rwxr-xr-x	52774	opcode_base_lemmas_opcode2.ma	blob \| history \| raw
-rw-r--r--	2122	option.ma	blob \| history \| raw
-rw-r--r--	3601	option_lemmas.ma	blob \| history \| raw
-rw-r--r--	4725	prod.ma	blob \| history \| raw
-rw-r--r--	17423	prod_lemmas.ma	blob \| history \| raw
-rw-r--r--	1580	pts.ma	blob \| history \| raw
-rwxr-xr-x	38034	status.ma	blob \| history \| raw
-rwxr-xr-x	44684	status_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	20007	table_HC05.ma	blob \| history \| raw
-rwxr-xr-x	4823	table_HC05_tests.ma	blob \| history \| raw
-rwxr-xr-x	27117	table_HC08.ma	blob \| history \| raw
-rwxr-xr-x	6914	table_HC08_tests.ma	blob \| history \| raw
-rwxr-xr-x	28351	table_HCS08.ma	blob \| history \| raw
-rwxr-xr-x	6821	table_HCS08_tests.ma	blob \| history \| raw
-rwxr-xr-x	23122	table_RS08.ma	blob \| history \| raw
-rwxr-xr-x	3816	table_RS08_tests.ma	blob \| history \| raw
-rw-r--r--	6987	theory.ma	blob \| history \| raw
-rwxr-xr-x	10804	translation.ma	blob \| history \| raw
-rwxr-xr-x	9133	word16.ma	blob \| history \| raw
-rwxr-xr-x	11519	word16_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	9763	word32.ma	blob \| history \| raw
-rwxr-xr-x	12413	word32_lemmas.ma	blob \| history \| raw