| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | closure.ml | 30877 | logplain |
| -rw-r--r-- | closure.mli | 5271 | 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 | 1280 | logplain |
| -rw-r--r-- | generic.ml | 19852 | logplain |
| -rw-r--r-- | generic.mli | 4637 | logplain |
| -rw-r--r-- | inductive.mli | 198 | logplain |
| -rw-r--r-- | names.ml | 6931 | logplain |
| -rw-r--r-- | names.mli | 2336 | logplain |
| -rw-r--r-- | printer.mli | 67 | logplain |
| -rw-r--r-- | reduction.ml | 54512 | logplain |
| -rw-r--r-- | reduction.mli | 6391 | logplain |
| -rw-r--r-- | sign.ml | 6800 | logplain |
| -rw-r--r-- | sign.mli | 3227 | logplain |
| -rw-r--r-- | term.ml | 47978 | logplain |
| -rw-r--r-- | term.mli | 17497 | logplain |
| -rw-r--r-- | univ.mli | 521 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |