aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Numbers
ModeNameSize
-rw-r--r--BigNumPrelude.v13827logplain
d---------Cyclic140logplain
d---------Integer169logplain
-rw-r--r--NaryFunctions.v4318logplain
d---------NatInt591logplain
d---------Natural166logplain
-rw-r--r--NumPrelude.v4431logplain
d---------Rational66logplain
-rw-r--r--vo.itarget2290logplain