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

-rwxr-xr-x	6377	ascii.ma	blob \| raw
-rwxr-xr-x	16353	ascii_lemmas.ma	blob \| raw
-rw-r--r--	3239	list.ma	blob \| raw
-rw-r--r--	5380	list_lemmas.ma	blob \| raw
-rwxr-xr-x	12218	list_utility.ma	blob \| raw
-rwxr-xr-x	25560	list_utility_lemmas.ma	blob \| raw
-rwxr-xr-x	3425	nat.ma	blob \| raw
-rw-r--r--	6853	nat_lemmas.ma	blob \| raw
-rwxr-xr-x	3094	nat_to_num.ma	blob \| raw
-rw-r--r--	2116	option.ma	blob \| raw
-rw-r--r--	5941	option_lemmas.ma	blob \| raw
-rw-r--r--	4719	prod.ma	blob \| raw
-rw-r--r--	37350	prod_lemmas.ma	blob \| raw
-rwxr-xr-x	2594	sigma.ma	blob \| raw
-rw-r--r--	2137	string.ma	blob \| raw
-rwxr-xr-x	6844	string_lemmas.ma	blob \| raw
-rw-r--r--	16474	theory.ma	blob \| raw