summaryrefslogtreecommitdiff
path: root/theories/Strings
ModeNameSize
-rw-r--r--Ascii.v4204logplain
-rw-r--r--String.v12350logplain