and 'term in_proof_context_element =
[ 'term decl_context_element
- | ('term,'term proof) def_context_element
+ | ('term,'term proof) def_context_element
| ('term,'term proof) joint_context_element
]
and lemma =
{ lemma_id: id;
lemma_name : string;
- lemma_uri: string
+ lemma_uri: string
}
;;