summaryrefslogtreecommitdiff
path: root/theories/Strings
ModeNameSize
-rw-r--r--Ascii.v4290logplain
-rw-r--r--String.v11603logplain
-rw-r--r--vo.itarget19logplain