| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | autodecomp.v | 245 | logplain |
| -rw-r--r-- | injection.v | 3554 | logplain |
| -rw-r--r-- | pretyping.v | 128548 | logplain |
| -rw-r--r-- | ring.v | 218 | logplain |
| -rw-r--r-- | ring2.v | 1040 | logplain |
| -rw-r--r-- | setoid_rewrite.v | 179 | logplain |
| -rw-r--r-- | unification.v | 1416 | logplain |
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |