- 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")]
NCicCoercion.set_convert_term convert_term;;
Ncic2astMatcher.set_reference_of_oxuri reference_of_oxuri;;
NCicDisambiguate.set_reference_of_oxuri reference_of_oxuri;;
NCicCoercion.set_convert_term convert_term;;
Ncic2astMatcher.set_reference_of_oxuri reference_of_oxuri;;
NCicDisambiguate.set_reference_of_oxuri reference_of_oxuri;;
NCicBlob.set_reference_of_oxuri reference_of_oxuri;;
NCicProof.set_reference_of_oxuri reference_of_oxuri;;
NCicBlob.set_reference_of_oxuri reference_of_oxuri;;
NCicProof.set_reference_of_oxuri reference_of_oxuri;;