(* $Id: nCic.ml 9058 2008-10-13 17:42:30Z tassi $ *)
-val mk_proof:
- NCic.term Terms.bag -> Terms.M.key -> Terms.M.key list -> NCic.term
-
+val set_reference_of_oxuri: (UriManager.uri -> NReference.reference) -> unit
+val mk_proof:NCic.term Terms.bag -> Terms.M.key -> Terms.M.key list -> NCic.term