/plugins/funind/

• ../
• Recdef.v
• functional_principles_proofs.ml
• functional_principles_proofs.mli
• functional_principles_types.ml
• functional_principles_types.mli
• g_indfun.ml4
• indfun.ml
• indfun.mli
• indfun_common.ml
• indfun_common.mli
• invfun.ml
• merge.ml
• rawterm_to_relation.ml
• rawterm_to_relation.mli
• rawtermops.ml
• rawtermops.mli
• recdef.ml
• recdef_plugin.mllib
• vo.itarget