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

drwxr-xr-x		..
-rw-r--r--	2406	arith.txt	blob \| history \| raw
-rw-r--r--	1812	nat.ma	blob \| history \| raw
-rw-r--r--	357	nat.txt	blob \| history \| raw
-rw-r--r--	1805	nat_iter.ma	blob \| history \| raw
-rw-r--r--	4197	nat_le.ma	blob \| history \| raw
-rw-r--r--	2630	nat_le_max.ma	blob \| history \| raw
-rw-r--r--	2593	nat_le_minus.ma	blob \| history \| raw
-rw-r--r--	4669	nat_le_minus_plus.ma	blob \| history \| raw
-rw-r--r--	3745	nat_le_plus.ma	blob \| history \| raw
-rw-r--r--	2145	nat_le_pred.ma	blob \| history \| raw
-rw-r--r--	4687	nat_lt.ma	blob \| history \| raw
-rw-r--r--	2167	nat_lt_minus.ma	blob \| history \| raw
-rw-r--r--	2115	nat_lt_minus_plus.ma	blob \| history \| raw
-rw-r--r--	1987	nat_lt_plus.ma	blob \| history \| raw
-rw-r--r--	2220	nat_lt_pred.ma	blob \| history \| raw
-rw-r--r--	1566	nat_lt_tri.ma	blob \| history \| raw
-rw-r--r--	2476	nat_max.ma	blob \| history \| raw
-rw-r--r--	2536	nat_minus.ma	blob \| history \| raw
-rw-r--r--	2861	nat_minus_plus.ma	blob \| history \| raw
-rw-r--r--	4413	nat_plus.ma	blob \| history \| raw
-rw-r--r--	1877	nat_plus_pred.ma	blob \| history \| raw
-rw-r--r--	1974	nat_pred.ma	blob \| history \| raw
-rw-r--r--	1524	nat_pred_succ.ma	blob \| history \| raw
-rw-r--r--	2689	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--	2042	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--	1903	pnat_plus.ma	blob \| history \| raw
-rw-r--r--	2201	pnat_tri.ma	blob \| history \| raw