OpenSuSE Leap 15.5 for s390x : / usr /lib64 /coq /theories /Arith

• .coq-native
• Arith.glob
• Arith.v
• Arith.vo
• Arith_base.glob
• Arith_base.v
• Arith_base.vo
• Between.glob
• Between.v
• Between.vo
• Bool_nat.glob
• Bool_nat.v
• Bool_nat.vo
• Compare.glob
• Compare.v
• Compare.vo
• Compare_dec.glob
• Compare_dec.v
• Compare_dec.vo
• Div2.glob
• Div2.v
• Div2.vo
• EqNat.glob
• EqNat.v
• EqNat.vo
• Euclid.glob
• Euclid.v
• Euclid.vo
• Even.glob
• Even.v
• Even.vo
• Factorial.glob
• Factorial.v
• Factorial.vo
• Gt.glob
• Gt.v
• Gt.vo
• Le.glob
• Le.v
• Le.vo
• Lt.glob
• Lt.v
• Lt.vo
• Max.glob
• Max.v
• Max.vo
• Min.glob
• Min.v
• Min.vo
• Minus.glob
• Minus.v
• Minus.vo
• Mult.glob
• Mult.v
• Mult.vo
• PeanoNat.glob
• PeanoNat.v
• PeanoNat.vo
• Peano_dec.glob
• Peano_dec.v
• Peano_dec.vo
• Plus.glob
• Plus.v
• Plus.vo
• Wf_nat.glob
• Wf_nat.v
• Wf_nat.vo

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Mar 9 13:42:55 2025