| Mode | Name | Size | |
|---|---|---|---|
| d--------- | cc | 346 | logplain |
| d--------- | decl_mode | 482 | logplain |
| d--------- | dp | 543 | logplain |
| d--------- | extraction | 1333 | logplain |
| d--------- | field | 305 | logplain |
| d--------- | firstorder | 543 | logplain |
| d--------- | fourier | 283 | logplain |
| d--------- | funind | 855 | logplain |
| d--------- | micromega | 1179 | logplain |
| d--------- | nsatz | 379 | logplain |
| d--------- | omega | 354 | logplain |
| -rw-r--r-- | plugins.itarget | 56 | logplain |
| -rw-r--r-- | pluginsbyte.itarget | 627 | logplain |
| -rw-r--r-- | pluginsdyn.itarget | 651 | logplain |
| -rw-r--r-- | pluginsopt.itarget | 651 | logplain |
| -rw-r--r-- | pluginsvo.itarget | 236 | logplain |
| d--------- | quote | 194 | logplain |
| d--------- | ring | 607 | logplain |
| d--------- | romega | 364 | logplain |
| d--------- | rtauto | 368 | logplain |
| d--------- | setoid_ring | 711 | logplain |
| d--------- | subtac | 1047 | logplain |
| d--------- | syntax | 562 | logplain |
| d--------- | xml | 847 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |