matita.cs.unibo.it Git - helm.git/tree - helm/software/matita/contribs/procedural/Coq/Arith/

drwxr-xr-x		..
-rw-r--r--	1976	Arith.mma	blob \| history \| raw
-rw-r--r--	4523	Between.mma	blob \| history \| raw
-rw-r--r--	2797	Bool_nat.mma	blob \| history \| raw
-rw-r--r--	2695	Compare.mma	blob \| history \| raw
-rw-r--r--	3188	Compare_dec.mma	blob \| history \| raw
-rw-r--r--	2355	Div.mma	blob \| history \| raw
-rw-r--r--	3926	Div2.mma	blob \| history \| raw
-rw-r--r--	2651	EqNat.mma	blob \| history \| raw
-rw-r--r--	2136	Euclid.mma	blob \| history \| raw
-rw-r--r--	4140	Even.mma	blob \| history \| raw
-rw-r--r--	2176	Factorial.mma	blob \| history \| raw
-rw-r--r--	4205	Gt.mma	blob \| history \| raw
-rw-r--r--	3475	Le.mma	blob \| history \| raw
-rw-r--r--	4598	Lt.mma	blob \| history \| raw
-rw-r--r--	2650	Max.mma	blob \| history \| raw
-rw-r--r--	2651	Min.mma	blob \| history \| raw
-rw-r--r--	3538	Minus.mma	blob \| history \| raw
-rw-r--r--	4603	Mult.mma	blob \| history \| raw
-rw-r--r--	2102	Peano_dec.mma	blob \| history \| raw
-rw-r--r--	4822	Plus.mma	blob \| history \| raw
-rw-r--r--	4917	Wf_nat.mma	blob \| history \| raw