OpenSuSE Tumbleweed for x86_64 : / usr /lib64 /coq /theories /Classes

• .coq-native
• CMorphisms.glob
• CMorphisms.v
• CMorphisms.vo
• CRelationClasses.glob
• CRelationClasses.v
• CRelationClasses.vo
• Equivalence.glob
• Equivalence.v
• Equivalence.vo
• Init.glob
• Init.v
• Init.vo
• Morphisms.glob
• Morphisms.v
• Morphisms.vo
• Morphisms_Prop.glob
• Morphisms_Prop.v
• Morphisms_Prop.vo
• RelationClasses.glob
• RelationClasses.v
• RelationClasses.vo
• SetoidTactics.glob
• SetoidTactics.v
• SetoidTactics.vo

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Mar 28 22:34:06 2026