proof_context : 'term in_proof_context_element list ;
proof_apply_context: 'term proof list;
proof_conclude : 'term conclude_item
proof_context : 'term in_proof_context_element list ;
proof_apply_context: 'term proof list;
proof_conclude : 'term conclude_item