dolmen.std
Normalize.Tptp
dolmen
dolmen.class
dolmen.dimacs
dolmen.icnf
dolmen.intf
dolmen.line
dolmen.smtlib
dolmen.tptp
dolmen.zf
val mapper : Term.t Term.mapper
A mapper suitable to normalize terms parsed from a tptp problem file.