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

drwxr-xr-x		..
-rwxr-xr-x	6377	ascii.ma	blob \| history \| raw
-rwxr-xr-x	28028	ascii_lemmas1.ma	blob \| history \| raw
-rwxr-xr-x	37985	ascii_lemmas2.ma	blob \| history \| raw
-rw-r--r--	3239	list.ma	blob \| history \| raw
-rw-r--r--	5380	list_lemmas.ma	blob \| history \| raw
-rwxr-xr-x	2945	nat.ma	blob \| history \| raw
-rw-r--r--	4859	nat_lemmas.ma	blob \| history \| raw
-rw-r--r--	2116	option.ma	blob \| history \| raw
-rw-r--r--	3556	option_lemmas.ma	blob \| history \| raw
-rw-r--r--	4719	prod.ma	blob \| history \| raw
-rw-r--r--	17414	prod_lemmas.ma	blob \| history \| raw
-rw-r--r--	5407	theory.ma	blob \| history \| raw