aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Arith
ModeNameSize
-rw-r--r--Arith.v579logplain
-rw-r--r--Arith_base.v822logplain
-rw-r--r--Between.v5403logplain
-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.v2558logplain
-rw-r--r--Euclid.v2005logplain
-rw-r--r--Even.v5174logplain
-rw-r--r--Factorial.v1046logplain
-rw-r--r--Gt.v3225logplain
-rw-r--r--Le.v2701logplain
-rw-r--r--Lt.v3825logplain
-rw-r--r--Max.v1754logplain
-rw-r--r--Min.v1614logplain
-rw-r--r--Minus.v3073logplain
-rw-r--r--Mult.v4742logplain
-rw-r--r--PeanoNat.v19857logplain
-rw-r--r--Peano_dec.v1983logplain
-rw-r--r--Plus.v4410logplain
-rw-r--r--Wf_nat.v7092logplain
-rw-r--r--vo.itarget212logplain