aboutsummaryrefslogtreecommitdiff
path: root/theories/Numbers/NatInt
ModeNameSize
-rw-r--r--NZAdd.v2663logplain
-rw-r--r--NZAddOrder.v5249logplain
-rw-r--r--NZAxioms.v4881logplain
-rw-r--r--NZBase.v2583logplain
-rw-r--r--NZBits.v3361logplain
-rw-r--r--NZDiv.v15272logplain
-rw-r--r--NZDomain.v11825logplain
-rw-r--r--NZGcd.v8118logplain
-rw-r--r--NZLog.v28193logplain
-rw-r--r--NZMul.v2513logplain
-rw-r--r--NZMulOrder.v12196logplain
-rw-r--r--NZOrder.v17657logplain
-rw-r--r--NZParity.v7235logplain
-rw-r--r--NZPow.v11985logplain
-rw-r--r--NZProperties.v900logplain
-rw-r--r--NZSqrt.v22463logplain