Fedora Rawhide for ppc64le : / usr /lib64 /coq /user-contrib /Zenon

• zenon.v
• zenon.vo
• zenon_coqbool.v
• zenon_coqbool.vo
• zenon_equiv.v
• zenon_equiv.vo
• zenon_focal.v
• zenon_focal.vo
• zenon_induct.v
• zenon_induct.vo

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Feb 23 04:37:30 2025