aboutsummaryrefslogtreecommitdiff
path: root/theories/Numbers/NatInt
ModeNameSize
-rw-r--r--NZAdd.v2663logplain
-rw-r--r--NZAddOrder.v5279logplain
-rw-r--r--NZAxioms.v4881logplain
-rw-r--r--NZBase.v2579logplain
-rw-r--r--NZDiv.v14887logplain
-rw-r--r--NZDomain.v11833logplain
-rw-r--r--NZGcd.v8293logplain
-rw-r--r--NZLog.v9730logplain
-rw-r--r--NZMul.v2513logplain
-rw-r--r--NZMulOrder.v12467logplain
-rw-r--r--NZOrder.v18118logplain
-rw-r--r--NZPow.v11090logplain
-rw-r--r--NZProperties.v900logplain
-rw-r--r--NZSqrt.v9268logplain