summaryrefslogtreecommitdiff
path: root/theories/Numbers
ModeNameSize
-rw-r--r--BigNumPrelude.v14292logplain
d---------Cyclic140logplain
d---------Integer169logplain
-rw-r--r--NaryFunctions.v4419logplain
d---------NatInt261logplain
d---------Natural166logplain
-rw-r--r--NumPrelude.v8497logplain
d---------Rational66logplain