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