/theories/Classes/

• ../
• CEquivalence.v
• CMorphisms.v
• CRelationClasses.v
• DecidableClass.v
• EquivDec.v
• Equivalence.v
• Init.v
• Morphisms.v
• Morphisms_Prop.v
• Morphisms_Relations.v
• RelationClasses.v
• RelationPairs.v
• SetoidClass.v
• SetoidDec.v
• SetoidTactics.v