| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | EquivDec.v | 4569 | logplain |
| -rw-r--r-- | Equivalence.v | 4221 | logplain |
| -rw-r--r-- | Functions.v | 1545 | logplain |
| -rw-r--r-- | Init.v | 1460 | logplain |
| -rw-r--r-- | Morphisms.v | 18462 | logplain |
| -rw-r--r-- | Morphisms_Prop.v | 3092 | logplain |
| -rw-r--r-- | Morphisms_Relations.v | 2414 | logplain |
| -rw-r--r-- | RelationClasses.v | 15293 | logplain |
| -rw-r--r-- | RelationPairs.v | 4615 | logplain |
| -rw-r--r-- | SetoidAxioms.v | 1245 | logplain |
| -rw-r--r-- | SetoidClass.v | 4544 | logplain |
| -rw-r--r-- | SetoidDec.v | 3787 | logplain |
| -rw-r--r-- | SetoidTactics.v | 6068 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |