aboutsummaryrefslogtreecommitdiff
path: root/theories/Zarith
ModeNameSize
-rw-r--r--Wf_Z.v3230logplain
-rw-r--r--ZArith.v370logplain
-rw-r--r--ZArith_dec.v2741logplain
-rw-r--r--Zmisc.v11764logplain
-rw-r--r--Zsyntax.v7420logplain
-rw-r--r--auxiliary.v28356logplain
-rw-r--r--fast_integer.v53151logplain
-rw-r--r--zarith_aux.v20414logplain