Module Pset

module Pset: sig  end

Decision procedures for propositional sets
Author(s): Harald Ruess, N. Shankar

module Infsys: sig  end

Inference system for the theory Th.set of products as described in module Propset.