/theories/Classes/

• ../
• EquivDec.v
• Equivalence.v
• Functions.v
• Init.v
• Morphisms.v
• Morphisms_Prop.v
• Morphisms_Relations.v
• RelationClasses.v
• SetoidAxioms.v
• SetoidClass.v
• SetoidDec.v
• SetoidTactics.v