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--	5493	nat.txt	blob \| history \| raw
-rw-r--r--	1759	nat_iter.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--	1444	nat_le_pred.ma	blob \| history \| raw
-rw-r--r--	3735	nat_lt.ma	blob \| history \| raw
-rw-r--r--	2006	nat_lt_plus.ma	blob \| history \| raw
-rw-r--r--	1505	nat_lt_pred.ma	blob \| history \| raw
-rw-r--r--	3317	nat_plus.ma	blob \| history \| raw
-rw-r--r--	1521	nat_pred.ma	blob \| history \| raw
-rw-r--r--	1296	nat_pred_succ.ma	blob \| history \| raw
-rw-r--r--	2458	nat_succ.ma	blob \| history \| raw
-rw-r--r--	1312	nat_succ_iter.ma	blob \| history \| raw
-rw-r--r--	1919	pnat.ma	blob \| history \| raw
-rw-r--r--	1212	pnat_dis.ma	blob \| history \| raw
-rw-r--r--	1792	pnat_iter.ma	blob \| history \| raw
-rw-r--r--	1864	pnat_plus.ma	blob \| history \| raw