summaryrefslogtreecommitdiff
path: root/theories/Numbers/Rational/BigQ
ModeNameSize
-rw-r--r--BigQ.v4891logplain
-rw-r--r--QMake.v35831logplain