aboutsummaryrefslogtreecommitdiff
path: root/theories/Numbers/NatInt
ModeNameSize
-rw-r--r--NZAdd.v3116logplain
-rw-r--r--NZAddOrder.v5433logplain
-rw-r--r--NZAxioms.v5248logplain
-rw-r--r--NZBase.v2737logplain
-rw-r--r--NZBits.v3042logplain
-rw-r--r--NZDiv.v15732logplain
-rw-r--r--NZDomain.v10609logplain
-rw-r--r--NZGcd.v8658logplain
-rw-r--r--NZLog.v29542logplain
-rw-r--r--NZMul.v2853logplain
-rw-r--r--NZMulOrder.v13461logplain
-rw-r--r--NZOrder.v18133logplain
-rw-r--r--NZParity.v7477logplain
-rw-r--r--NZPow.v12690logplain
-rw-r--r--NZProperties.v1050logplain
-rw-r--r--NZSqrt.v23631logplain