summaryrefslogtreecommitdiff
path: root/theories/Arith
ModeNameSize
-rw-r--r--Arith.v579logplain
-rw-r--r--Arith_base.v796logplain
-rw-r--r--Between.v5467logplain
-rw-r--r--Bool_nat.v1531logplain
-rw-r--r--Compare.v1679logplain
-rw-r--r--Compare_dec.v7518logplain
-rw-r--r--Div2.v5315logplain
-rw-r--r--EqNat.v3042logplain
-rw-r--r--Euclid.v2135logplain
-rw-r--r--Even.v7704logplain
-rw-r--r--Factorial.v1286logplain
-rw-r--r--Gt.v3634logplain
-rw-r--r--Le.v3253logplain
-rw-r--r--Lt.v4498logplain
-rw-r--r--Max.v1760logplain
-rw-r--r--Min.v1612logplain
-rw-r--r--Minus.v4545logplain
-rw-r--r--Mult.v6947logplain
-rw-r--r--Peano_dec.v1961logplain
-rw-r--r--Plus.v5869logplain
-rw-r--r--Wf_nat.v7303logplain
-rwxr-xr-xintro.tex1839logplain
-rw-r--r--vo.itarget200logplain