Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | EquivDec.v | 4830 | logplain |
-rw-r--r-- | Equivalence.v | 4202 | logplain |
-rw-r--r-- | Functions.v | 1605 | logplain |
-rw-r--r-- | Init.v | 1453 | logplain |
-rw-r--r-- | Morphisms.v | 15164 | logplain |
-rw-r--r-- | Morphisms_Prop.v | 3122 | logplain |
-rw-r--r-- | Morphisms_Relations.v | 2395 | logplain |
-rw-r--r-- | RelationClasses.v | 13229 | logplain |
-rw-r--r-- | SetoidAxioms.v | 1296 | logplain |
-rw-r--r-- | SetoidClass.v | 5144 | logplain |
-rw-r--r-- | SetoidDec.v | 3928 | logplain |
-rw-r--r-- | SetoidTactics.v | 6585 | logplain |