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

drwxr-xr-x		..
-rw-r--r--	14607	BinInt.mma	blob \| history \| raw
-rw-r--r--	3751	Wf_Z.mma	blob \| history \| raw
-rw-r--r--	2020	ZArith.mma	blob \| history \| raw
-rw-r--r--	2499	ZArith_base.mma	blob \| history \| raw
-rw-r--r--	3888	ZArith_dec.mma	blob \| history \| raw
-rw-r--r--	3188	Zabs.mma	blob \| history \| raw
-rw-r--r--	7145	Zbinary.mma	blob \| history \| raw
-rw-r--r--	4337	Zbool.mma	blob \| history \| raw
-rw-r--r--	4798	Zcompare.mma	blob \| history \| raw
-rw-r--r--	4070	Zcomplements.mma	blob \| history \| raw
-rw-r--r--	5120	Zdiv.mma	blob \| history \| raw
-rw-r--r--	3605	Zeven.mma	blob \| history \| raw
-rw-r--r--	14756	Zhints.mma	blob \| history \| raw
-rw-r--r--	5501	Zlogarithm.mma	blob \| history \| raw
-rw-r--r--	3096	Zmin.mma	blob \| history \| raw
-rw-r--r--	2702	Zmisc.mma	blob \| history \| raw
-rw-r--r--	3110	Znat.mma	blob \| history \| raw
-rw-r--r--	9503	Znumtheory.mma	blob \| history \| raw
-rw-r--r--	13189	Zorder.mma	blob \| history \| raw
-rw-r--r--	6890	Zpower.mma	blob \| history \| raw
-rw-r--r--	3013	Zsqrt.mma	blob \| history \| raw
-rw-r--r--	3228	Zwf.mma	blob \| history \| raw
-rw-r--r--	3734	auxiliary.mma	blob \| history \| raw