summaryrefslogtreecommitdiff
path: root/theories/Numbers/Integer/Binary
ModeNameSize
-rw-r--r--ZBinary.v1530logplain