| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | plugin_base.dune | 220 | logplain |
| -rw-r--r-- | ssrast.mli | 6079 | logplain |
| -rw-r--r-- | ssrbwd.ml | 5725 | logplain |
| -rw-r--r-- | ssrbwd.mli | 816 | logplain |
| -rw-r--r-- | ssrcommon.ml | 61308 | logplain |
| -rw-r--r-- | ssrcommon.mli | 16612 | logplain |
| -rw-r--r-- | ssreflect_plugin.mlpack | 113 | logplain |
| -rw-r--r-- | ssrelim.ml | 25014 | logplain |
| -rw-r--r-- | ssrelim.mli | 1790 | logplain |
| -rw-r--r-- | ssrequality.ml | 30695 | logplain |
| -rw-r--r-- | ssrequality.mli | 2491 | logplain |
| -rw-r--r-- | ssrfwd.ml | 21237 | logplain |
| -rw-r--r-- | ssrfwd.mli | 2687 | logplain |
| -rw-r--r-- | ssripats.ml | 37999 | logplain |
| -rw-r--r-- | ssripats.mli | 3230 | logplain |
| -rw-r--r-- | ssrparser.mlg | 83964 | logplain |
| -rw-r--r-- | ssrparser.mli | 4744 | logplain |
| -rw-r--r-- | ssrprinters.ml | 5535 | logplain |
| -rw-r--r-- | ssrprinters.mli | 1888 | logplain |
| -rw-r--r-- | ssrtacticals.ml | 7023 | logplain |
| -rw-r--r-- | ssrtacticals.mli | 1670 | logplain |
| -rw-r--r-- | ssrvernac.mlg | 24321 | logplain |
| -rw-r--r-- | ssrvernac.mli | 752 | logplain |
| -rw-r--r-- | ssrview.ml | 15610 | logplain |
| -rw-r--r-- | ssrview.mli | 1854 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |