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