(* $Id: orderings.ml 9869 2009-06-11 22:52:38Z denes $ *)
+let reference_of_oxuri = ref (fun _ -> assert false);;
+let set_reference_of_oxuri f = reference_of_oxuri := f;;
+
+
let eqP () =
let r =
- OCic2NCic.reference_of_oxuri
+ !reference_of_oxuri
(UriManager.uri_of_string
"cic:/matita/logic/equality/eq.ind#xpointer(1/1)")
in
let eq_ind () =
let r =
- OCic2NCic.reference_of_oxuri
+ !reference_of_oxuri
(UriManager.uri_of_string
"cic:/matita/logic/equality/eq_ind.con")
in
let eq_ind_r () =
let r =
- OCic2NCic.reference_of_oxuri
+ !reference_of_oxuri
(UriManager.uri_of_string
"cic:/matita/logic/equality/eq_elim_r.con")
in
let eq_refl () =
let r =
- OCic2NCic.reference_of_oxuri
+ !reference_of_oxuri
(UriManager.uri_of_string
"cic:/matita/logic/equality/eq.ind#xpointer(1/1/1)")
in