Mode | Name | Size | |
---|---|---|---|
-rwxr-xr-x | Arith.v | 840 | logplain |
-rwxr-xr-x | Between.v | 5154 | logplain |
-rw-r--r-- | Bool_nat.v | 1598 | logplain |
-rwxr-xr-x | Compare.v | 1831 | logplain |
-rwxr-xr-x | Compare_dec.v | 2967 | logplain |
-rwxr-xr-x | Div.v | 1917 | logplain |
-rw-r--r-- | Div2.v | 5227 | logplain |
-rwxr-xr-x | EqNat.v | 2171 | logplain |
-rw-r--r-- | Euclid.v | 2102 | logplain |
-rw-r--r-- | Even.v | 8586 | logplain |
-rw-r--r-- | Factorial.v | 1336 | logplain |
-rwxr-xr-x | Gt.v | 3490 | logplain |
-rwxr-xr-x | Le.v | 3020 | logplain |
-rwxr-xr-x | Lt.v | 3970 | logplain |
-rwxr-xr-x | Max.v | 2381 | logplain |
-rwxr-xr-x | Min.v | 2379 | logplain |
-rwxr-xr-x | Minus.v | 3583 | logplain |
-rwxr-xr-x | Mult.v | 5895 | logplain |
-rwxr-xr-x | Peano_dec.v | 1102 | logplain |
-rwxr-xr-x | Plus.v | 5371 | logplain |
-rwxr-xr-x | Wf_nat.v | 5913 | logplain |
-rwxr-xr-x | intro.tex | 1839 | logplain |