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

drwxr-xr-x		..
-rwxr-xr-x	45039	load_write.ma	blob \| history \| raw
-rwxr-xr-x	8615	memory_abs.ma	blob \| history \| raw
-rwxr-xr-x	10685	memory_bits.ma	blob \| history \| raw
-rwxr-xr-x	4096	memory_func.ma	blob \| history \| raw
-rwxr-xr-x	40607	memory_struct.ma	blob \| history \| raw
-rwxr-xr-x	10326	memory_trees.ma	blob \| history \| raw
-rwxr-xr-x	16874	model.ma	blob \| history \| raw
-rwxr-xr-x	57247	multivm.ma	blob \| history \| raw
-rwxr-xr-x	2735	multivm_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	6731	opcode.ma	blob \| history \| raw
-rwxr-xr-x	17978	opcode_base.ma	blob \| history \| raw
-rwxr-xr-x	3424	opcode_base_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	7676	opcode_base_lemmas1.ma	blob \| history \| raw
-rwxr-xr-x	14840	opcode_base_lemmas_instrmode.ma	blob \| history \| raw
-rwxr-xr-x	21722	opcode_base_lemmas_opcode.ma	blob \| history \| raw
-rwxr-xr-x	37994	status.ma	blob \| history \| raw
-rwxr-xr-x	66015	status_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	20038	table_HC05.ma	blob \| history \| raw
-rwxr-xr-x	5215	table_HC05_tests.ma	blob \| history \| raw
-rwxr-xr-x	27148	table_HC08.ma	blob \| history \| raw
-rwxr-xr-x	7415	table_HC08_tests.ma	blob \| history \| raw
-rwxr-xr-x	28382	table_HCS08.ma	blob \| history \| raw
-rwxr-xr-x	7322	table_HCS08_tests.ma	blob \| history \| raw
-rwxr-xr-x	23153	table_RS08.ma	blob \| history \| raw
-rwxr-xr-x	4208	table_RS08_tests.ma	blob \| history \| raw
-rwxr-xr-x	10722	translation.ma	blob \| history \| raw
-rwxr-xr-x	3771	translation_lemmas.ma	blob \| history \| raw