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

drwxr-xr-x		..
-rwxr-xr-x	10667	bitrigesim.ma	blob \| history \| raw
-rwxr-xr-x	30950	bitrigesim_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	2961	bool.ma	blob \| history \| raw
-rwxr-xr-x	4597	bool_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	17162	byte8.ma	blob \| history \| raw
-rwxr-xr-x	8846	byte8_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	88630	exadecim.ma	blob \| history \| raw
-rwxr-xr-x	15854	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	40619	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	58374	multivm.ma	blob \| history \| raw
-rwxr-xr-x	3149	oct.ma	blob \| history \| raw
-rwxr-xr-x	4850	oct_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	6701	opcode.ma	blob \| history \| raw
-rwxr-xr-x	18078	opcode_base.ma	blob \| history \| raw
-rwxr-xr-x	4802	opcode_base_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	4168	opcode_base_lemmas1.ma	blob \| history \| raw
-rwxr-xr-x	42303	opcode_base_lemmas_instrmode1.ma	blob \| history \| raw
-rwxr-xr-x	26009	opcode_base_lemmas_instrmode2.ma	blob \| history \| raw
-rwxr-xr-x	40964	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	2612	quatern.ma	blob \| history \| raw
-rwxr-xr-x	3618	quatern_lemmas.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--	7023	theory.ma	blob \| history \| raw
-rwxr-xr-x	10804	translation.ma	blob \| history \| raw
-rwxr-xr-x	19945	word16.ma	blob \| history \| raw
-rwxr-xr-x	11519	word16_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	9770	word32.ma	blob \| history \| raw
-rwxr-xr-x	12413	word32_lemmas.ma	blob \| history \| raw