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

drwxr-xr-x		..
-rwxr-xr-x	10629	bitrigesim.ma	blob \| history \| raw
-rwxr-xr-x	10154	bitrigesim_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	2961	bool.ma	blob \| history \| raw
-rwxr-xr-x	9634	bool_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	18392	byte8.ma	blob \| history \| raw
-rwxr-xr-x	2166	byte8_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	4638	comp_num.ma	blob \| history \| raw
-rwxr-xr-x	6215	comp_num_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	88306	exadecim.ma	blob \| history \| raw
-rwxr-xr-x	3444	exadecim_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	3143	oct.ma	blob \| history \| raw
-rwxr-xr-x	3393	oct_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	2606	quatern.ma	blob \| history \| raw
-rwxr-xr-x	3395	quatern_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	41660	word16.ma	blob \| history \| raw
-rwxr-xr-x	2140	word16_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	7281	word24.ma	blob \| history \| raw
-rwxr-xr-x	4725	word32.ma	blob \| history \| raw
-rwxr-xr-x	2156	word32_lemmas.ma	blob \| history \| raw