Module L

module L: sig  end

Equality sets for theory L of combinatory logic
Author(s): Harald Ruess

module Infsys: sig  end

Tracing inference system.