| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Dp.v | 3628 | logplain |
| -rw-r--r-- | TODO | 274 | logplain |
| -rw-r--r-- | dp.ml | 35174 | logplain |
| -rw-r--r-- | dp.mli | 411 | logplain |
| -rw-r--r-- | dp_plugin.mllib | 38 | logplain |
| -rw-r--r-- | dp_why.ml | 6162 | logplain |
| -rw-r--r-- | dp_why.mli | 323 | logplain |
| -rw-r--r-- | dp_zenon.mli | 92 | logplain |
| -rw-r--r-- | dp_zenon.mll | 5358 | logplain |
| -rw-r--r-- | fol.mli | 1128 | logplain |
| -rw-r--r-- | g_dp.ml4 | 1775 | logplain |
| -rw-r--r-- | test2.v | 1389 | logplain |
| -rw-r--r-- | tests.v | 4422 | logplain |
| -rw-r--r-- | vo.itarget | 6 | logplain |
| -rw-r--r-- | zenon.v | 3200 | logplain |
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |