| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | CEquivalence.v | 4717 | logplain |
| -rw-r--r-- | CMorphisms.v | 22120 | logplain |
| -rw-r--r-- | CRelationClasses.v | 12590 | logplain |
| -rw-r--r-- | DecidableClass.v | 2708 | logplain |
| -rw-r--r-- | EquivDec.v | 4470 | logplain |
| -rw-r--r-- | Equivalence.v | 4715 | logplain |
| -rw-r--r-- | Init.v | 1449 | logplain |
| -rw-r--r-- | Morphisms.v | 21577 | logplain |
| -rw-r--r-- | Morphisms_Prop.v | 3206 | logplain |
| -rw-r--r-- | Morphisms_Relations.v | 2380 | logplain |
| -rw-r--r-- | RelationClasses.v | 16343 | logplain |
| -rw-r--r-- | RelationPairs.v | 4960 | logplain |
| -rw-r--r-- | SetoidClass.v | 4506 | logplain |
| -rw-r--r-- | SetoidDec.v | 3777 | logplain |
| -rw-r--r-- | SetoidTactics.v | 6117 | logplain |
| -rw-r--r-- | vo.itarget | 238 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |