Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | DecidableClass.v | 2839 | logplain |
-rw-r--r-- | EquivDec.v | 4469 | logplain |
-rw-r--r-- | Equivalence.v | 4644 | logplain |
-rw-r--r-- | Init.v | 1449 | logplain |
-rw-r--r-- | Morphisms.v | 20847 | logplain |
-rw-r--r-- | Morphisms_Prop.v | 3772 | logplain |
-rw-r--r-- | Morphisms_Relations.v | 2412 | logplain |
-rw-r--r-- | RelationClasses.v | 15523 | logplain |
-rw-r--r-- | RelationPairs.v | 4959 | logplain |
-rw-r--r-- | SetoidClass.v | 4506 | logplain |
-rw-r--r-- | SetoidDec.v | 3784 | logplain |
-rw-r--r-- | SetoidTactics.v | 6056 | logplain |
-rw-r--r-- | vo.itarget | 188 | logplain |