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

drwxr-xr-x		..
-rw-r--r--	1992	Arith.mma	blob \| history \| raw
-rw-r--r--	4510	Between.mma	blob \| history \| raw
-rw-r--r--	2786	Bool_nat.mma	blob \| history \| raw
-rw-r--r--	2682	Compare.mma	blob \| history \| raw
-rw-r--r--	3177	Compare_dec.mma	blob \| history \| raw
-rw-r--r--	2110	Div.mma	blob \| history \| raw
-rw-r--r--	3915	Div2.mma	blob \| history \| raw
-rw-r--r--	2612	EqNat.mma	blob \| history \| raw
-rw-r--r--	2123	Euclid.mma	blob \| history \| raw
-rw-r--r--	4101	Even.mma	blob \| history \| raw
-rw-r--r--	2165	Factorial.mma	blob \| history \| raw
-rw-r--r--	4194	Gt.mma	blob \| history \| raw
-rw-r--r--	3436	Le.mma	blob \| history \| raw
-rw-r--r--	4587	Lt.mma	blob \| history \| raw
-rw-r--r--	2639	Max.mma	blob \| history \| raw
-rw-r--r--	2640	Min.mma	blob \| history \| raw
-rw-r--r--	3527	Minus.mma	blob \| history \| raw
-rw-r--r--	4592	Mult.mma	blob \| history \| raw
-rw-r--r--	2091	Peano_dec.mma	blob \| history \| raw
-rw-r--r--	4811	Plus.mma	blob \| history \| raw
-rw-r--r--	4904	Wf_nat.mma	blob \| history \| raw