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