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

-rwxr-xr-x	12684	bitrigesim.ma	blob \| raw
-rwxr-xr-x	2961	bool.ma	blob \| raw
-rwxr-xr-x	9628	bool_lemmas.ma	blob \| raw
-rwxr-xr-x	20730	byte8.ma	blob \| raw
-rwxr-xr-x	3782	comp_ext.ma	blob \| raw
-rwxr-xr-x	13874	comp_num.ma	blob \| raw
-rwxr-xr-x	92389	exadecim.ma	blob \| raw
-rwxr-xr-x	8548	oct.ma	blob \| raw
-rwxr-xr-x	41930	word16.ma	blob \| raw
-rwxr-xr-x	8205	word24.ma	blob \| raw
-rwxr-xr-x	3907	word32.ma	blob \| raw