summaryrefslogtreecommitdiff
path: root/theories/Numbers
ModeNameSize
-rw-r--r--BigNumPrelude.v13824logplain
-rw-r--r--BinNums.v2245logplain
d---------Cyclic140logplain
d---------Integer169logplain
-rw-r--r--NaryFunctions.v4318logplain
d---------NatInt591logplain
d---------Natural166logplain
-rw-r--r--NumPrelude.v1187logplain
d---------Rational66logplain
-rw-r--r--vo.itarget2301logplain