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

drwxr-xr-x		..
-rw-r--r--	59792	bitrigesim.ma	blob \| history \| raw
-rw-r--r--	3047	bool.ma	blob \| history \| raw
-rw-r--r--	10008	bool_lemmas.ma	blob \| history \| raw
-rw-r--r--	20945	byte8.ma	blob \| history \| raw
-rw-r--r--	3782	comp_ext.ma	blob \| history \| raw
-rw-r--r--	13874	comp_num.ma	blob \| history \| raw
-rw-r--r--	92389	exadecim.ma	blob \| history \| raw
-rw-r--r--	8720	oct.ma	blob \| history \| raw
-rw-r--r--	42230	word16.ma	blob \| history \| raw
-rw-r--r--	8543	word24.ma	blob \| history \| raw
-rw-r--r--	4304	word32.ma	blob \| history \| raw