ZArith « theories - debian-coq - Debian packaging for Coq

Mode	Name	Size
-rw-r--r--	BinInt.v	33499	log plain
-rw-r--r--	Int.v	14005	log plain
-rw-r--r--	Wf_Z.v	8250	log plain
-rw-r--r--	ZArith.v	869	log plain
-rw-r--r--	ZArith_base.v	1333	log plain
-rw-r--r--	ZArith_dec.v	5593	log plain
-rw-r--r--	ZOdiv.v	29834	log plain
-rw-r--r--	ZOdiv_def.v	4860	log plain
-rw-r--r--	Zabs.v	6541	log plain
-rw-r--r--	Zbinary.v	9534	log plain
-rw-r--r--	Zbool.v	6682	log plain
-rw-r--r--	Zcompare.v	18838	log plain
-rw-r--r--	Zcomplements.v	6149	log plain
-rw-r--r--	Zdiv.v	34853	log plain
-rw-r--r--	Zeven.v	9858	log plain
-rw-r--r--	Zgcd_alt.v	9839	log plain
-rw-r--r--	Zhints.v	14207	log plain
-rw-r--r--	Zlogarithm.v	8035	log plain
-rw-r--r--	Zmax.v	4753	log plain
-rw-r--r--	Zmin.v	4419	log plain
-rw-r--r--	Zminmax.v	2563	log plain
-rw-r--r--	Zmisc.v	2941	log plain
-rw-r--r--	Znat.v	8386	log plain
-rw-r--r--	Znumtheory.v	41100	log plain
-rw-r--r--	Zorder.v	29949	log plain
-rw-r--r--	Zpow_def.v	795	log plain
-rw-r--r--	Zpow_facts.v	15181	log plain
-rw-r--r--	Zpower.v	12043	log plain
-rw-r--r--	Zsqrt.v	7269	log plain
-rw-r--r--	Zwf.v	2697	log plain
-rw-r--r--	auxiliary.v	4635	log plain
-rwxr-xr-x	intro.tex	238	log plain