| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | EquivDec.v | 4878 | logplain |
| -rw-r--r-- | Equivalence.v | 4524 | logplain |
| -rw-r--r-- | Functions.v | 1654 | logplain |
| -rw-r--r-- | Init.v | 1334 | logplain |
| -rw-r--r-- | Morphisms.v | 14991 | logplain |
| -rw-r--r-- | Morphisms_Prop.v | 4030 | logplain |
| -rw-r--r-- | Morphisms_Relations.v | 2494 | logplain |
| -rw-r--r-- | RelationClasses.v | 13079 | logplain |
| -rw-r--r-- | SetoidAxioms.v | 1349 | logplain |
| -rw-r--r-- | SetoidClass.v | 6038 | logplain |
| -rw-r--r-- | SetoidDec.v | 3977 | logplain |
| -rw-r--r-- | SetoidTactics.v | 6638 | logplain |
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |