aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Arith
ModeNameSize
-rw-r--r--Arith.v593logplain
-rw-r--r--Arith_base.v765logplain
-rw-r--r--Between.v5486logplain
-rw-r--r--Bool_nat.v1542logplain
-rw-r--r--Compare.v1689logplain
-rw-r--r--Compare_dec.v6697logplain
-rw-r--r--Div2.v5802logplain
-rw-r--r--EqNat.v2698logplain
-rw-r--r--Euclid.v2138logplain
-rw-r--r--Even.v9098logplain
-rw-r--r--Factorial.v1318logplain
-rw-r--r--Gt.v3570logplain
-rw-r--r--Le.v3229logplain
-rw-r--r--Lt.v4141logplain
-rw-r--r--Max.v2339logplain
-rw-r--r--Min.v2494logplain
-rw-r--r--Minus.v4440logplain
-rw-r--r--Mult.v7022logplain
-rw-r--r--Peano_dec.v1055logplain
-rw-r--r--Plus.v6041logplain
-rw-r--r--Wf_nat.v7122logplain
-rwxr-xr-xintro.tex1839logplain