| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | auto.ml | 28969 | logplain |
| -rw-r--r-- | auto.mli | 4181 | logplain |
| -rw-r--r-- | btermdn.ml | 1149 | logplain |
| -rw-r--r-- | btermdn.mli | 341 | logplain |
| -rw-r--r-- | dhyp.ml | 9277 | logplain |
| -rw-r--r-- | dhyp.mli | 165 | logplain |
| -rw-r--r-- | dn.ml | 2495 | logplain |
| -rw-r--r-- | dn.mli | 714 | logplain |
| -rw-r--r-- | doc.tex | 246 | logplain |
| -rw-r--r-- | elim.ml | 5316 | logplain |
| -rw-r--r-- | elim.mli | 961 | logplain |
| -rw-r--r-- | hiddentac.ml | 1414 | logplain |
| -rw-r--r-- | hiddentac.mli | 1207 | logplain |
| -rw-r--r-- | nbtermdn.ml | 2014 | logplain |
| -rw-r--r-- | nbtermdn.mli | 771 | logplain |
| -rw-r--r-- | pattern.ml | 9808 | logplain |
| -rw-r--r-- | pattern.mli | 4183 | logplain |
| -rw-r--r-- | stock.ml | 4088 | logplain |
| -rw-r--r-- | stock.mli | 387 | logplain |
| -rw-r--r-- | tacentries.ml | 2335 | logplain |
| -rw-r--r-- | tacentries.mli | 1668 | logplain |
| -rw-r--r-- | tacticals.ml | 14860 | logplain |
| -rw-r--r-- | tacticals.mli | 4944 | logplain |
| -rw-r--r-- | tactics.ml | 57521 | logplain |
| -rw-r--r-- | tactics.mli | 8378 | logplain |
| -rw-r--r-- | termdn.ml | 1557 | logplain |
| -rw-r--r-- | termdn.mli | 518 | logplain |
| -rw-r--r-- | wcclausenv.ml | 6755 | logplain |
| -rw-r--r-- | wcclausenv.mli | 1336 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |