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

drwxr-xr-x		..
-rwxr-xr-x	10661	bitrigesim.ma	blob \| history \| raw
-rwxr-xr-x	56272	bitrigesim_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	2961	bool.ma	blob \| history \| raw
-rwxr-xr-x	5552	bool_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	17202	byte8.ma	blob \| history \| raw
-rwxr-xr-x	11211	byte8_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	88570	exadecim.ma	blob \| history \| raw
-rwxr-xr-x	16732	exadecim_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	3143	oct.ma	blob \| history \| raw
-rwxr-xr-x	5603	oct_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	2606	quatern.ma	blob \| history \| raw
-rwxr-xr-x	4339	quatern_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	20013	word16.ma	blob \| history \| raw
-rwxr-xr-x	13901	word16_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	9614	word32.ma	blob \| history \| raw
-rwxr-xr-x	14830	word32_lemmas.ma	blob \| history \| raw