| Mode | Name | Size | |
|---|---|---|---|
| -rwxr-xr-x | Arith.v | 840 | logplain |
| -rwxr-xr-x | Between.v | 5138 | logplain |
| -rw-r--r-- | Bool_nat.v | 1704 | logplain |
| -rwxr-xr-x | Compare.v | 1876 | logplain |
| -rwxr-xr-x | Compare_dec.v | 2930 | logplain |
| -rwxr-xr-x | Div.v | 1917 | logplain |
| -rw-r--r-- | Div2.v | 5243 | logplain |
| -rwxr-xr-x | EqNat.v | 2310 | logplain |
| -rw-r--r-- | Euclid.v | 2059 | logplain |
| -rw-r--r-- | Even.v | 8834 | logplain |
| -rw-r--r-- | Factorial.v | 1365 | logplain |
| -rwxr-xr-x | Gt.v | 3550 | logplain |
| -rwxr-xr-x | Le.v | 3044 | logplain |
| -rwxr-xr-x | Lt.v | 4064 | logplain |
| -rwxr-xr-x | Max.v | 2357 | logplain |
| -rwxr-xr-x | Min.v | 2355 | logplain |
| -rwxr-xr-x | Minus.v | 3516 | logplain |
| -rwxr-xr-x | Mult.v | 6199 | logplain |
| -rwxr-xr-x | Peano_dec.v | 1112 | logplain |
| -rwxr-xr-x | Plus.v | 5851 | logplain |
| -rwxr-xr-x | Wf_nat.v | 5741 | logplain |
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |