Module P

module P: sig  end

Shostak inference system for the theory of products
Author(s): Harald Ruess, N. Shankar

module Infsys: sig  end

Inference system for the theory Th.p of products as described in module Product.