| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | NAdd.v | 2827 | logplain |
| -rw-r--r-- | NAddOrder.v | 1621 | logplain |
| -rw-r--r-- | NAxioms.v | 1517 | logplain |
| -rw-r--r-- | NBase.v | 5963 | logplain |
| -rw-r--r-- | NDefOps.v | 13011 | logplain |
| -rw-r--r-- | NDiv.v | 7479 | logplain |
| -rw-r--r-- | NIso.v | 3370 | logplain |
| -rw-r--r-- | NMulOrder.v | 2787 | logplain |
| -rw-r--r-- | NOrder.v | 6854 | logplain |
| -rw-r--r-- | NProperties.v | 894 | logplain |
| -rw-r--r-- | NStrongRec.v | 6008 | logplain |
| -rw-r--r-- | NSub.v | 9239 | logplain |
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |