Normalize.Tptp
val mapper : Term.t Term.mapper
A mapper suitable to normalize terms parsed from a tptp problem file.