| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | alpha.ml | 1359 | logplain |
| -rw-r--r-- | alpha.mli | 747 | logplain |
| -rw-r--r-- | cdglobals.ml | 2181 | logplain |
| -rw-r--r-- | coqdoc.css | 4642 | logplain |
| -rw-r--r-- | coqdoc.sty | 6640 | logplain |
| -rw-r--r-- | cpretty.mli | 676 | logplain |
| -rw-r--r-- | cpretty.mll | 33703 | logplain |
| -rw-r--r-- | index.mli | 1849 | logplain |
| -rw-r--r-- | index.mll | 13149 | logplain |
| -rw-r--r-- | main.ml | 21261 | logplain |
| -rw-r--r-- | output.ml | 31764 | logplain |
| -rw-r--r-- | output.mli | 2129 | logplain |
| -rw-r--r-- | style.css | 1035 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |