aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Numbers
ModeNameSize
-rw-r--r--BinNums.v2289logplain
d---------Cyclic101logplain
-rw-r--r--DecimalFacts.v3556logplain
-rw-r--r--DecimalN.v2971logplain
-rw-r--r--DecimalNat.v7464logplain
-rw-r--r--DecimalPos.v9743logplain
-rw-r--r--DecimalString.v7029logplain
-rw-r--r--DecimalZ.v2600logplain
d---------Integer103logplain
-rw-r--r--NaryFunctions.v4469logplain
d---------NatInt591logplain
d---------Natural100logplain
-rw-r--r--NumPrelude.v1337logplain