aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/PArith
ModeNameSize
-rw-r--r--BinPos.v62015logplain
-rw-r--r--BinPosDef.v13448logplain
-rw-r--r--PArith.v620logplain
-rw-r--r--POrderedType.v1370logplain
-rw-r--r--Pnat.v14781logplain