| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | doc.tex | 143 | logplain |
| -rw-r--r-- | dyn.ml | 388 | logplain |
| -rw-r--r-- | dyn.mli | 142 | logplain |
| -rw-r--r-- | hashcons.ml | 5688 | logplain |
| -rw-r--r-- | hashcons.mli | 1131 | logplain |
| -rw-r--r-- | options.ml | 439 | logplain |
| -rw-r--r-- | options.mli | 259 | logplain |
| -rw-r--r-- | pp.ml | 5356 | logplain |
| -rw-r--r-- | pp.mli | 2420 | logplain |
| -rw-r--r-- | pp_control.ml | 2317 | logplain |
| -rw-r--r-- | pp_control.mli | 979 | logplain |
| -rw-r--r-- | system.ml | 2875 | logplain |
| -rw-r--r-- | system.mli | 757 | logplain |
| -rw-r--r-- | util.ml | 6634 | logplain |
| -rw-r--r-- | util.mli | 2897 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |