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

• .coq-native
• Disjoint_Union.glob
• Disjoint_Union.v
• Disjoint_Union.vo
• Disjoint_Union.vos
• Inclusion.glob
• Inclusion.v
• Inclusion.vo
• Inclusion.vos
• Inverse_Image.glob
• Inverse_Image.v
• Inverse_Image.vo
• Inverse_Image.vos
• Lexicographic_Exponentiation.glob
• Lexicographic_Exponentiation.v
• Lexicographic_Exponentiation.vo
• Lexicographic_Exponentiation.vos
• Lexicographic_Product.glob
• Lexicographic_Product.v
• Lexicographic_Product.vo
• Lexicographic_Product.vos
• Transitive_Closure.glob
• Transitive_Closure.v
• Transitive_Closure.vo
• Transitive_Closure.vos
• Union.glob
• Union.v
• Union.vo
• Union.vos
• Well_Ordering.glob
• Well_Ordering.v
• Well_Ordering.vo
• Well_Ordering.vos
• Wellfounded.glob
• Wellfounded.v
• Wellfounded.vo
• Wellfounded.vos

Generated by rpm2html 1.8.1

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