/contrib/funind/

• ../
• indfun.ml
• indfun_common.ml
• indfun_common.mli
• indfun_main.ml4
• invfun.ml
• new_arg_principle.ml
• new_arg_principle.mli
• rawterm_to_relation.ml
• rawterm_to_relation.mli
• rawtermops.ml
• rawtermops.mli
• tacinv.ml4
• tacinvutils.ml
• tacinvutils.mli