Mageia Cauldron for aarch64 : / usr /src /debug /coq-8.20.1-1.mga10.aarch64 / /build /default /tactics

• abstract.ml
• auto.ml
• autorewrite.ml
• btermdn.ml
• cbn.ml
• class_tactics.ml
• contradiction.ml
• declareScheme.ml
• dn.ml
• eClause.ml
• eauto.ml
• elim.ml
• elimschemes.ml
• eqdecide.ml
• eqschemes.ml
• equality.ml
• evar_tactics.ml
• generalize.ml
• hints.ml
• hipattern.ml
• ind_tables.ml
• induction.ml
• inv.ml
• ppred.ml
• redexpr.ml
• redops.ml
• rewrite.ml
• tacticals.ml
• tactics.ml

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Jul 12 06:41:54 2025