;;
let mk_cprop n =
- if n = 0 then
- [`CProp, NUri.uri_of_string ("cic:/matita/pts/Type.univ")]
- else
- [`CProp, NUri.uri_of_string ("cic:/matita/pts/Type"^string_of_int n^".univ")]
+ [`CProp, NUri.uri_of_string ("cic:/matita/pts/Type"^string_of_int n^".univ")]
;;
let is_proof_irrelevant context ty =
NCicCoercion.set_convert_term convert_term;;
Ncic2astMatcher.set_reference_of_oxuri reference_of_oxuri;;
NCicDisambiguate.set_reference_of_oxuri reference_of_oxuri;;
+(* Why should we set them here?
NCicBlob.set_reference_of_oxuri reference_of_oxuri;;
NCicProof.set_reference_of_oxuri reference_of_oxuri;;
+*)