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

drwxr-xr-x		..
-rw-r--r--	6377	ascii.ma	blob \| history \| raw
-rw-r--r--	3368	ascii_lemmas.ma	blob \| history \| raw
-rw-r--r--	3239	list.ma	blob \| history \| raw
-rw-r--r--	5468	list_lemmas.ma	blob \| history \| raw
-rw-r--r--	12338	list_utility.ma	blob \| history \| raw
-rw-r--r--	27166	list_utility_lemmas.ma	blob \| history \| raw
-rw-r--r--	7132	nat.ma	blob \| history \| raw
-rw-r--r--	5676	nat_lemmas.ma	blob \| history \| raw
-rw-r--r--	3099	nat_to_num.ma	blob \| history \| raw
-rw-r--r--	2116	option.ma	blob \| history \| raw
-rw-r--r--	6432	option_lemmas.ma	blob \| history \| raw
-rw-r--r--	4719	prod.ma	blob \| history \| raw
-rw-r--r--	37449	prod_lemmas.ma	blob \| history \| raw
-rw-r--r--	2626	sigma.ma	blob \| history \| raw
-rw-r--r--	2137	string.ma	blob \| history \| raw
-rw-r--r--	6848	string_lemmas.ma	blob \| history \| raw
-rw-r--r--	19664	theory.ma	blob \| history \| raw