The tpdb package

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