Up – Package index » libzipperposition » Library libzipperposition.calculi » Libzipperposition_calculi » Induction_intf

Module `Libzipperposition_calculi.Induction_intf`Source

Induction

Sourcemodule type S = sig ... end