aboutsummaryrefslogtreecommitdiff
path: root/theories/Numbers/NatInt
ModeNameSize
-rw-r--r--NZAdd.v3160logplain
-rw-r--r--NZAddOrder.v5433logplain
-rw-r--r--NZAxioms.v5248logplain
-rw-r--r--NZBase.v2750logplain
-rw-r--r--NZBits.v3042logplain
-rw-r--r--NZDiv.v15982logplain
-rw-r--r--NZDomain.v10609logplain
-rw-r--r--NZGcd.v8688logplain
-rw-r--r--NZLog.v29557logplain
-rw-r--r--NZMul.v2876logplain
-rw-r--r--NZMulOrder.v13491logplain
-rw-r--r--NZOrder.v18054logplain
-rw-r--r--NZParity.v7506logplain
-rw-r--r--NZPow.v12723logplain
-rw-r--r--NZProperties.v1050logplain
-rw-r--r--NZSqrt.v23637logplain