matita.cs.unibo.it Git - helm.git/tree - matita/matita/contribs/lambdadelta/ground/arith/

drwxr-xr-x		..
-rw-r--r--	1788	nat.ma	blob \| history \| raw
-rw-r--r--	5485	nat.txt	blob \| history \| raw
-rw-r--r--	1759	nat_iter.ma	blob \| history \| raw
-rw-r--r--	1312	nat_iter_succ.ma	blob \| history \| raw
-rw-r--r--	3590	nat_le.ma	blob \| history \| raw
-rw-r--r--	2767	nat_le_plus.ma	blob \| history \| raw
-rw-r--r--	3639	nat_lt.ma	blob \| history \| raw
-rw-r--r--	3317	nat_plus.ma	blob \| history \| raw
-rw-r--r--	2458	nat_succ.ma	blob \| history \| raw
-rw-r--r--	1919	pnat.ma	blob \| history \| raw
-rw-r--r--	1792	pnat_iter.ma	blob \| history \| raw
-rw-r--r--	1864	pnat_plus.ma	blob \| history \| raw