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

drwxr-xr-x		..
-rw-r--r--	14618	BinInt.mma	blob \| history \| raw
-rw-r--r--	3920	Wf_Z.mma	blob \| history \| raw
-rw-r--r--	2003	ZArith.mma	blob \| history \| raw
-rw-r--r--	2510	ZArith_base.mma	blob \| history \| raw
-rw-r--r--	3899	ZArith_dec.mma	blob \| history \| raw
-rw-r--r--	3199	Zabs.mma	blob \| history \| raw
-rw-r--r--	7158	Zbinary.mma	blob \| history \| raw
-rw-r--r--	4348	Zbool.mma	blob \| history \| raw
-rw-r--r--	4805	Zcompare.mma	blob \| history \| raw
-rw-r--r--	4081	Zcomplements.mma	blob \| history \| raw
-rw-r--r--	5131	Zdiv.mma	blob \| history \| raw
-rw-r--r--	3616	Zeven.mma	blob \| history \| raw
-rw-r--r--	14767	Zhints.mma	blob \| history \| raw
-rw-r--r--	5514	Zlogarithm.mma	blob \| history \| raw
-rw-r--r--	3107	Zmin.mma	blob \| history \| raw
-rw-r--r--	2713	Zmisc.mma	blob \| history \| raw
-rw-r--r--	3123	Znat.mma	blob \| history \| raw
-rw-r--r--	9514	Znumtheory.mma	blob \| history \| raw
-rw-r--r--	13200	Zorder.mma	blob \| history \| raw
-rw-r--r--	6901	Zpower.mma	blob \| history \| raw
-rw-r--r--	3026	Zsqrt.mma	blob \| history \| raw
-rw-r--r--	3395	Zwf.mma	blob \| history \| raw
-rw-r--r--	3745	auxiliary.mma	blob \| history \| raw