aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Arith
ModeNameSize
-rw-r--r--Arith.v579logplain
-rw-r--r--Arith_base.v822logplain
-rw-r--r--Between.v5451logplain
-rw-r--r--Bool_nat.v1531logplain
-rw-r--r--Compare.v1686logplain
-rw-r--r--Compare_dec.v5290logplain
-rw-r--r--Div2.v4509logplain
-rw-r--r--EqNat.v2566logplain
-rw-r--r--Euclid.v2005logplain
-rw-r--r--Even.v5174logplain
-rw-r--r--Factorial.v1046logplain
-rw-r--r--Gt.v3257logplain
-rw-r--r--Le.v2725logplain
-rw-r--r--Lt.v3877logplain
-rw-r--r--Max.v1762logplain
-rw-r--r--Min.v1614logplain
-rw-r--r--Minus.v3113logplain
-rw-r--r--Mult.v4774logplain
-rw-r--r--PeanoNat.v19857logplain
-rw-r--r--Peano_dec.v2047logplain
-rw-r--r--Plus.v4434logplain
-rw-r--r--Wf_nat.v7092logplain
-rw-r--r--vo.itarget212logplain