tpdb

The package defines data types and parsers for rewriting systems and termination proofs, as used in the Termination Competitions. For syntax and semantics specification, see http://www.termination-portal.org/wiki/TPDB