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

drwxr-xr-x		..
-rw-r--r--	10629	bitrigesim.ma	blob \| history \| raw
-rw-r--r--	3322	bitrigesim_lemmas.ma	blob \| history \| raw
-rw-r--r--	2961	bool.ma	blob \| history \| raw
-rw-r--r--	9634	bool_lemmas.ma	blob \| history \| raw
-rw-r--r--	23457	byte8.ma	blob \| history \| raw
-rw-r--r--	2166	byte8_lemmas.ma	blob \| history \| raw
-rw-r--r--	4638	comp_num.ma	blob \| history \| raw
-rw-r--r--	6215	comp_num_lemmas.ma	blob \| history \| raw
-rw-r--r--	89488	exadecim.ma	blob \| history \| raw
-rw-r--r--	3444	exadecim_lemmas.ma	blob \| history \| raw
-rw-r--r--	6423	oct.ma	blob \| history \| raw
-rw-r--r--	3393	oct_lemmas.ma	blob \| history \| raw
-rw-r--r--	2606	quatern.ma	blob \| history \| raw
-rw-r--r--	3395	quatern_lemmas.ma	blob \| history \| raw
-rw-r--r--	44778	word16.ma	blob \| history \| raw
-rw-r--r--	2140	word16_lemmas.ma	blob \| history \| raw
-rw-r--r--	7578	word24.ma	blob \| history \| raw
-rw-r--r--	7300	word24_lemmas.ma	blob \| history \| raw
-rw-r--r--	6912	word32.ma	blob \| history \| raw
-rw-r--r--	2156	word32_lemmas.ma	blob \| history \| raw