summaryrefslogtreecommitdiff
path: root/theories/Numbers/NatInt
ModeNameSize
-rw-r--r--NZAdd.v2922logplain
-rw-r--r--NZAddOrder.v5243logplain
-rw-r--r--NZAxioms.v5067logplain
-rw-r--r--NZBase.v2714logplain
-rw-r--r--NZBits.v2892logplain
-rw-r--r--NZDiv.v15340logplain
-rw-r--r--NZDomain.v10102logplain
-rw-r--r--NZGcd.v8327logplain
-rw-r--r--NZLog.v28193logplain
-rw-r--r--NZMul.v2653logplain
-rw-r--r--NZMulOrder.v12985logplain
-rw-r--r--NZOrder.v17696logplain
-rw-r--r--NZParity.v7218logplain
-rw-r--r--NZPow.v11985logplain
-rw-r--r--NZProperties.v900logplain
-rw-r--r--NZSqrt.v22451logplain