XML fragment for proof listing