aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Arith
ModeNameSize
-rw-r--r--Arith.v579logplain
-rw-r--r--Arith_base.v796logplain
-rw-r--r--Between.v5451logplain
-rw-r--r--Bool_nat.v1531logplain
-rw-r--r--Compare.v1686logplain
-rw-r--r--Compare_dec.v7507logplain
-rw-r--r--Div2.v5189logplain
-rw-r--r--EqNat.v2986logplain
-rw-r--r--Euclid.v2005logplain
-rw-r--r--Even.v7696logplain
-rw-r--r--Factorial.v1270logplain
-rw-r--r--Gt.v3586logplain
-rw-r--r--Le.v3254logplain
-rw-r--r--Lt.v4466logplain
-rw-r--r--Max.v1760logplain
-rw-r--r--Min.v1612logplain
-rw-r--r--Minus.v4385logplain
-rw-r--r--Mult.v6876logplain
-rw-r--r--Peano_dec.v1965logplain
-rw-r--r--Plus.v5733logplain
-rw-r--r--Wf_nat.v7146logplain
-rwxr-xr-xintro.tex1839logplain
-rw-r--r--vo.itarget200logplain