aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/PArith
ModeNameSize
-rw-r--r--BinPos.v61339logplain
-rw-r--r--BinPosDef.v13410logplain
-rw-r--r--PArith.v620logplain
-rw-r--r--POrderedType.v1370logplain
-rw-r--r--Pnat.v14741logplain
-rw-r--r--intro.tex160logplain
-rw-r--r--vo.itarget56logplain