aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/PArith
ModeNameSize
-rw-r--r--BinPos.v61316logplain
-rw-r--r--BinPosDef.v13436logplain
-rw-r--r--PArith.v620logplain
-rw-r--r--POrderedType.v1370logplain
-rw-r--r--Pnat.v14717logplain
-rw-r--r--intro.tex160logplain
-rw-r--r--vo.itarget56logplain