Module Cop

module Cop: sig  end

Inference system for coproducts
Author(s): Harald Ruess

module Infsys: sig  end

Inference system for the theory Th.cop of coproducts as defined in module Coproduct.