You can search for identifiers within the package.
in-package search v0.2.0
why3find
Why3find.Tactic
type tactic
val name : tactic -> string
val equal : tactic -> tactic -> bool
val pretty : Format.formatter -> tactic -> unit
val lookup : Why3.Env.env -> string -> tactic option
val select : Why3.Env.env -> string list -> tactic list
val iter : (string -> Why3.Pp.formatted -> unit) -> unit