aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/NArith
ModeNameSize
-rw-r--r--BinNat.v29894logplain
-rw-r--r--BinNatDef.v7094logplain
-rw-r--r--NArith.v1113logplain
-rw-r--r--Ndec.v9437logplain
-rw-r--r--Ndigits.v19692logplain
-rw-r--r--Ndist.v10669logplain
-rw-r--r--Ndiv_def.v1262logplain
-rw-r--r--Ngcd_def.v1090logplain
-rw-r--r--Nnat.v7466logplain
-rw-r--r--Nsqrt_def.v916logplain
-rw-r--r--vo.itarget105logplain