tptp and constructors
Issue #599
new
Theory-transformation -> tptp should take constructor symbols into account.
Theory-transformation -> tptp should take constructor symbols into account.