summaryrefslogtreecommitdiff
path: root/theories/NArith
ModeNameSize
-rw-r--r--BinNat.v10774logplain
-rw-r--r--BinPos.v32229logplain
-rw-r--r--NArith.v747logplain
-rw-r--r--Ndec.v13130logplain
-rw-r--r--Ndigits.v22802logplain
-rw-r--r--Ndist.v11347logplain
-rw-r--r--Nnat.v10522logplain
-rw-r--r--Pnat.v18101logplain
-rw-r--r--intro.tex178logplain