summaryrefslogtreecommitdiff
path: root/theories/Numbers/Natural/Abstract
ModeNameSize
-rw-r--r--NAdd.v5340logplain
-rw-r--r--NAddOrder.v3914logplain
-rw-r--r--NAxioms.v2532logplain
-rw-r--r--NBase.v8574logplain
-rw-r--r--NDefOps.v9066logplain
-rw-r--r--NIso.v4177logplain
-rw-r--r--NMul.v3260logplain
-rw-r--r--NMulOrder.v4573logplain
-rw-r--r--NOrder.v15254logplain
-rw-r--r--NStrongRec.v3822logplain
-rw-r--r--NSub.v5708logplain