Funind_plugin (coq-core.Funind

module Functional_principles_proofs : sig ... end

module Functional_principles_types : sig ... end

module G_indfun : sig ... end

module Gen_principle : sig ... end

module Glob_term_to_relation : sig ... end

module Glob_termops : sig ... end

module Indfun : sig ... end

module Indfun_common : sig ... end

module Invfun : sig ... end

module Recdef : sig ... end