Mageia Cauldron for armv7hl : / usr /lib /ocaml /coq /theories /Classes

• .coq-native
• CEquivalence.glob
• CEquivalence.v
• CEquivalence.vo
• CEquivalence.vos
• CMorphisms.glob
• CMorphisms.v
• CMorphisms.vo
• CMorphisms.vos
• CRelationClasses.glob
• CRelationClasses.v
• CRelationClasses.vo
• CRelationClasses.vos
• DecidableClass.glob
• DecidableClass.v
• DecidableClass.vo
• DecidableClass.vos
• EquivDec.glob
• EquivDec.v
• EquivDec.vo
• EquivDec.vos
• Equivalence.glob
• Equivalence.v
• Equivalence.vo
• Equivalence.vos
• Init.glob
• Init.v
• Init.vo
• Init.vos
• Morphisms.glob
• Morphisms.v
• Morphisms.vo
• Morphisms.vos
• Morphisms_Prop.glob
• Morphisms_Prop.v
• Morphisms_Prop.vo
• Morphisms_Prop.vos
• Morphisms_Relations.glob
• Morphisms_Relations.v
• Morphisms_Relations.vo
• Morphisms_Relations.vos
• RelationClasses.glob
• RelationClasses.v
• RelationClasses.vo
• RelationClasses.vos
• RelationPairs.glob
• RelationPairs.v
• RelationPairs.vo
• RelationPairs.vos
• SetoidClass.glob
• SetoidClass.v
• SetoidClass.vo
• SetoidClass.vos
• SetoidDec.glob
• SetoidDec.v
• SetoidDec.vo
• SetoidDec.vos
• SetoidTactics.glob
• SetoidTactics.v
• SetoidTactics.vo
• SetoidTactics.vos

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Feb 21 13:46:15 2025