summaryrefslogtreecommitdiff
path: root/theories/ZArith
ModeNameSize
-rw-r--r--BinInt.v31613logplain
-rw-r--r--Int.v14851logplain
-rw-r--r--Wf_Z.v8250logplain
-rw-r--r--ZArith.v869logplain
-rw-r--r--ZArith_base.v1333logplain
-rw-r--r--ZArith_dec.v5589logplain
-rw-r--r--Zabs.v4420logplain
-rw-r--r--Zbinary.v9534logplain
-rw-r--r--Zbool.v5833logplain
-rw-r--r--Zcompare.v18587logplain
-rw-r--r--Zcomplements.v6143logplain
-rw-r--r--Zdiv.v11033logplain
-rw-r--r--Zeven.v6472logplain
-rw-r--r--Zhints.v14207logplain
-rw-r--r--Zlogarithm.v8035logplain
-rw-r--r--Zmax.v3171logplain
-rw-r--r--Zmin.v4032logplain
-rw-r--r--Zminmax.v2563logplain
-rw-r--r--Zmisc.v3330logplain
-rw-r--r--Znat.v4844logplain
-rw-r--r--Znumtheory.v27228logplain
-rw-r--r--Zorder.v29016logplain
-rw-r--r--Zpower.v12819logplain
-rw-r--r--Zsqrt.v5421logplain
-rw-r--r--Zwf.v2697logplain
-rw-r--r--auxiliary.v4635logplain
-rwxr-xr-xintro.tex238logplain