module TPDB.CPF.Proof.Xml 
( module TPDB.CPF.Proof.Read
, module TPDB.CPF.Proof.Write 
) where
import TPDB.CPF.Proof.Read
import TPDB.CPF.Proof.Write