aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/PArith
ModeNameSize
-rw-r--r--BinPos.v45581logplain
-rw-r--r--PArith.v631logplain
-rw-r--r--POrderedType.v1987logplain
-rw-r--r--Pgcd.v8207logplain
-rw-r--r--Pminmax.v3699logplain
-rw-r--r--Pnat.v8493logplain
-rw-r--r--Psqrt.v4301logplain
-rw-r--r--intro.tex160logplain
-rw-r--r--vo.itarget71logplain