OpenSuSE Leap 15.6 for s390x : / usr /lib64 /coq /theories /Classes

• .coq-native
• CEquivalence.glob
• CEquivalence.v
• CEquivalence.vo
• CMorphisms.glob
• CMorphisms.v
• CMorphisms.vo
• CRelationClasses.glob
• CRelationClasses.v
• CRelationClasses.vo
• DecidableClass.glob
• DecidableClass.v
• DecidableClass.vo
• EquivDec.glob
• EquivDec.v
• EquivDec.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
• Morphisms_Relations.glob
• Morphisms_Relations.v
• Morphisms_Relations.vo
• RelationClasses.glob
• RelationClasses.v
• RelationClasses.vo
• RelationPairs.glob
• RelationPairs.v
• RelationPairs.vo
• SetoidClass.glob
• SetoidClass.v
• SetoidClass.vo
• SetoidDec.glob
• SetoidDec.v
• SetoidDec.vo
• SetoidTactics.glob
• SetoidTactics.v
• SetoidTactics.vo

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Jul 9 20:22:04 2024