aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/ZArith
ModeNameSize
-rw-r--r--.cvsignore5logplain
-rw-r--r--BinInt.v31194logplain
-rw-r--r--Wf_Z.v6277logplain
-rw-r--r--ZArith.v805logplain
-rw-r--r--ZArith_base.v1236logplain
-rw-r--r--ZArith_dec.v5221logplain
-rw-r--r--Zabs.v4249logplain
-rw-r--r--Zbinary.v10189logplain
-rw-r--r--Zbool.v5698logplain
-rw-r--r--Zcompare.v19120logplain
-rw-r--r--Zcomplements.v5829logplain
-rw-r--r--Zdiv.v10594logplain
-rw-r--r--Zeven.v6205logplain
-rw-r--r--Zhints.v13510logplain
-rw-r--r--Zlogarithm.v8139logplain
-rw-r--r--Zmin.v3254logplain
-rw-r--r--Zmisc.v3220logplain
-rw-r--r--Znat.v4700logplain
-rw-r--r--Znumtheory.v18259logplain
-rw-r--r--Zorder.v27515logplain
-rw-r--r--Zpower.v12122logplain
-rw-r--r--Zsqrt.v5420logplain
-rw-r--r--Zwf.v2521logplain
-rw-r--r--auxiliary.v4443logplain
-rwxr-xr-xintro.tex238logplain