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

Mode	Name	Size
-rw-r--r--	BinInt.v	33560	log plain
-rw-r--r--	Int.v	13539	log plain
-rw-r--r--	Wf_Z.v	8249	log plain
-rw-r--r--	ZArith.v	872	log plain
-rw-r--r--	ZArith_base.v	1333	log plain
-rw-r--r--	ZArith_dec.v	5537	log plain
-rw-r--r--	ZOdiv.v	29342	log plain
-rw-r--r--	ZOdiv_def.v	4833	log plain
-rw-r--r--	ZOrderedType.v	1934	log plain
-rw-r--r--	Zabs.v	6558	log plain
-rw-r--r--	Zbool.v	6848	log plain
-rw-r--r--	Zcompare.v	18886	log plain
-rw-r--r--	Zcomplements.v	6107	log plain
-rw-r--r--	Zdigits.v	9178	log plain
-rw-r--r--	Zdiv.v	34484	log plain
-rw-r--r--	Zeven.v	9840	log plain
-rw-r--r--	Zgcd_alt.v	9749	log plain
-rw-r--r--	Zhints.v	14133	log plain
-rw-r--r--	Zlogarithm.v	7971	log plain
-rw-r--r--	Zmax.v	3456	log plain
-rw-r--r--	Zmin.v	3046	log plain
-rw-r--r--	Zminmax.v	5956	log plain
-rw-r--r--	Zmisc.v	3130	log plain
-rw-r--r--	Znat.v	8371	log plain
-rw-r--r--	Znumtheory.v	41604	log plain
-rw-r--r--	Zorder.v	30194	log plain
-rw-r--r--	Zpow_def.v	790	log plain
-rw-r--r--	Zpow_facts.v	15119	log plain
-rw-r--r--	Zpower.v	12023	log plain
-rw-r--r--	Zsqrt.v	7267	log plain
-rw-r--r--	Zwf.v	2700	log plain
-rw-r--r--	auxiliary.v	3579	log plain
-rwxr-xr-x	intro.tex	238	log plain
-rw-r--r--	vo.itarget	344	log plain