| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | closure.ml | 30877 | logplain |
| -rw-r--r-- | closure.mli | 5259 | logplain |
| -rw-r--r-- | constant.mli | 27 | logplain |
| -rw-r--r-- | environ.ml | 1220 | logplain |
| -rw-r--r-- | environ.mli | 1294 | 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 | 23 | 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 | 54021 | logplain |
| -rw-r--r-- | reduction.mli | 6774 | 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 | 212 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |