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

drwxr-xr-x		..
-rw-r--r--	7932	arith.txt	blob \| history \| raw
-rw-r--r--	1793	nat.ma	blob \| history \| raw
-rw-r--r--	5507	nat.txt	blob \| history \| raw
-rw-r--r--	1805	nat_iter.ma	blob \| history \| raw
-rw-r--r--	4079	nat_le.ma	blob \| history \| raw
-rw-r--r--	2630	nat_le_max.ma	blob \| history \| raw
-rw-r--r--	2479	nat_le_minus.ma	blob \| history \| raw
-rw-r--r--	3873	nat_le_minus_plus.ma	blob \| history \| raw
-rw-r--r--	2791	nat_le_plus.ma	blob \| history \| raw
-rw-r--r--	1864	nat_le_pred.ma	blob \| history \| raw
-rw-r--r--	4266	nat_lt.ma	blob \| history \| raw
-rw-r--r--	1954	nat_lt_minus.ma	blob \| history \| raw
-rw-r--r--	2109	nat_lt_minus_plus.ma	blob \| history \| raw
-rw-r--r--	2006	nat_lt_plus.ma	blob \| history \| raw
-rw-r--r--	1674	nat_lt_pred.ma	blob \| history \| raw
-rw-r--r--	1566	nat_lt_tri.ma	blob \| history \| raw
-rw-r--r--	2524	nat_max.ma	blob \| history \| raw
-rw-r--r--	2435	nat_minus.ma	blob \| history \| raw
-rw-r--r--	2967	nat_minus_plus.ma	blob \| history \| raw
-rw-r--r--	3844	nat_plus.ma	blob \| history \| raw
-rw-r--r--	1537	nat_pred.ma	blob \| history \| raw
-rw-r--r--	1303	nat_pred_succ.ma	blob \| history \| raw
-rw-r--r--	2505	nat_succ.ma	blob \| history \| raw
-rw-r--r--	1327	nat_succ_iter.ma	blob \| history \| raw
-rw-r--r--	1612	nat_succ_tri.ma	blob \| history \| raw
-rw-r--r--	2336	nat_tri.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--	1841	pnat_iter.ma	blob \| history \| raw
-rw-r--r--	1866	pnat_plus.ma	blob \| history \| raw
-rw-r--r--	2201	pnat_tri.ma	blob \| history \| raw