/theories/Classes/

• ../
• Init.v
• Init.v.d
• SetoidClass.v
• SetoidDec.v
• SetoidTactics.v