aboutsummaryrefslogtreecommitdiff
path: root/theories/Numbers/NatInt
ModeNameSize
-rw-r--r--NZAdd.v2562logplain
-rw-r--r--NZAddOrder.v4783logplain
-rw-r--r--NZAxioms.v4188logplain
-rw-r--r--NZBase.v2653logplain
-rw-r--r--NZMul.v2074logplain
-rw-r--r--NZMulOrder.v10683logplain
-rw-r--r--NZOrder.v18499logplain
-rw-r--r--NZProperties.v924logplain