Module `Libzipperposition_calculi.Induction`

Induction through Cut

module type S = Induction_intf.S

module Make : functor (E : Libzipperposition.Env.S) -> functor (A : Avatar_intf.S with module E = E) -> S with module Env = E