| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | environ.mli | 413 | 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-- | names.ml | 6814 | logplain |
| -rw-r--r-- | names.mli | 2286 | logplain |
| -rw-r--r-- | sign.ml | 6800 | logplain |
| -rw-r--r-- | sign.mli | 3215 | logplain |
| -rw-r--r-- | term.ml | 47976 | logplain |
| -rw-r--r-- | term.mli | 18296 | logplain |
| -rw-r--r-- | univ.mli | 196 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |