/plugins/funind/

• ../
• FunInd.v
• Recdef.v
• functional_principles_proofs.ml
• functional_principles_proofs.mli
• functional_principles_types.ml
• functional_principles_types.mli
• g_indfun.ml4
• glob_term_to_relation.ml
• glob_term_to_relation.mli
• glob_termops.ml
• glob_termops.mli
• indfun.ml
• indfun.mli
• indfun_common.ml
• indfun_common.mli
• invfun.ml
• merge.ml
• recdef.ml
• recdef.mli
• recdef_plugin.mlpack
• vo.itarget