Implement CProof::ToString()