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

drwxr-xr-x		..
-rwxr-xr-x	3814	bool.ma	blob \| history \| raw
-rwxr-xr-x	5223	bool_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	15290	byte8.ma	blob \| history \| raw
-rwxr-xr-x	9232	byte8_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	92147	exadecim.ma	blob \| history \| raw
-rwxr-xr-x	15058	exadecim_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	3174	nat.ma	blob \| history \| raw
-rw-r--r--	4009	nat_lemmas.ma	blob \| history \| raw
-rw-r--r--	3189	option.ma	blob \| history \| raw
-rw-r--r--	3967	option_lemmas.ma	blob \| history \| raw
-rw-r--r--	9418	prod.ma	blob \| history \| raw
-rw-r--r--	18023	prod_lemmas.ma	blob \| history \| raw
-rw-r--r--	2137	pts.ma	blob \| history \| raw
-rw-r--r--	7129	theory.ma	blob \| history \| raw
-rwxr-xr-x	10325	word16.ma	blob \| history \| raw
-rwxr-xr-x	11905	word16_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	10604	word32.ma	blob \| history \| raw
-rwxr-xr-x	12799	word32_lemmas.ma	blob \| history \| raw