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

-rwxr-xr-x	10629	bitrigesim.ma	blob \| raw
-rwxr-xr-x	9700	bitrigesim_lemmas.ma	blob \| raw
-rwxr-xr-x	2961	bool.ma	blob \| raw
-rwxr-xr-x	9390	bool_lemmas.ma	blob \| raw
-rwxr-xr-x	18888	byte8.ma	blob \| raw
-rwxr-xr-x	11171	byte8_lemmas.ma	blob \| raw
-rwxr-xr-x	88570	exadecim.ma	blob \| raw
-rwxr-xr-x	19348	exadecim_lemmas.ma	blob \| raw
-rwxr-xr-x	3143	oct.ma	blob \| raw
-rwxr-xr-x	3373	oct_lemmas.ma	blob \| raw
-rwxr-xr-x	2606	quatern.ma	blob \| raw
-rwxr-xr-x	3375	quatern_lemmas.ma	blob \| raw
-rwxr-xr-x	46001	word16.ma	blob \| raw
-rwxr-xr-x	13861	word16_lemmas.ma	blob \| raw
-rwxr-xr-x	9614	word32.ma	blob \| raw
-rwxr-xr-x	14790	word32_lemmas.ma	blob \| raw