Mageia 8 for x86_64 : / usr /src /debug /coq-8.11.0-4.mga8.x86 /64 /tactics

• auto.ml
• autorewrite.ml
• class_tactics.ml
• contradiction.ml
• declare.ml
• elim.ml
• equality.ml
• hints.ml
• hipattern.ml
• leminv.ml
• pfedit.ml
• proof_global.ml
• redexpr.ml
• tacticals.ml
• tactics.ml

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Apr 9 11:51:30 2025