| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | closure.ml | 30877 | logplain |
| -rw-r--r-- | closure.mli | 5259 | logplain |
| -rw-r--r-- | constant.mli | 365 | logplain |
| -rw-r--r-- | environ.ml | 1257 | logplain |
| -rw-r--r-- | environ.mli | 1711 | logplain |
| -rw-r--r-- | evd.ml | 1634 | logplain |
| -rw-r--r-- | evd.mli | 1254 | logplain |
| -rw-r--r-- | generic.ml | 19852 | logplain |
| -rw-r--r-- | generic.mli | 4550 | logplain |
| -rw-r--r-- | inductive.mli | 198 | logplain |
| -rw-r--r-- | names.ml | 6931 | logplain |
| -rw-r--r-- | names.mli | 2324 | logplain |
| -rw-r--r-- | printer.mli | 67 | logplain |
| -rw-r--r-- | reduction.ml | 54512 | logplain |
| -rw-r--r-- | reduction.mli | 6381 | logplain |
| -rw-r--r-- | sign.ml | 6800 | logplain |
| -rw-r--r-- | sign.mli | 3215 | logplain |
| -rw-r--r-- | term.ml | 47977 | logplain |
| -rw-r--r-- | term.mli | 18241 | logplain |
| -rw-r--r-- | univ.mli | 521 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |