aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Numbers
ModeNameSize
-rw-r--r--BigNumPrelude.v11362logplain
d---------Cyclic140logplain
d---------Integer134logplain
d---------NatInt267logplain
d---------Natural131logplain
-rw-r--r--NumPrelude.v8446logplain
-rw-r--r--QRewrite.v6502logplain
d---------Rational / BigQ31logplain