OpenSuSE Leap 15.6 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
• Cantor.glob
• Cantor.v
• Cantor.vo
• Compare.glob
• Compare.v
• Compare.vo
• Compare_dec.glob
• Compare_dec.v
• Compare_dec.vo
• EqNat.glob
• EqNat.v
• EqNat.vo
• Euclid.glob
• Euclid.v
• Euclid.vo
• Factorial.glob
• Factorial.v
• Factorial.vo
• PeanoNat.glob
• PeanoNat.v
• PeanoNat.vo
• Peano_dec.glob
• Peano_dec.v
• Peano_dec.vo
• Wf_nat.glob
• Wf_nat.v
• Wf_nat.vo

Generated by rpm2html 1.8.1

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