tpdb-2.2.0: Data Type for Rewriting Systems
TPDB.CPF.Proof.Xml
module TPDB.CPF.Proof.Read
module TPDB.CPF.Proof.Write