summaryrefslogtreecommitdiff
path: root/theories/PArith
ModeNameSize
-rw-r--r--BinPos.v61329logplain
-rw-r--r--BinPosDef.v13448logplain
-rw-r--r--PArith.v620logplain
-rw-r--r--POrderedType.v1370logplain
-rw-r--r--Pnat.v14781logplain
-rw-r--r--vo.itarget56logplain