X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Ftranscript%2FCoRN.conf.xml;h=e904b4d4e7a3a45ea3b4413f514ca6ecff58913b;hb=419b8fd3c58efbcc5de030ee6b164dc93c5d83db;hp=ad576e986226e7672db29a9b8a4406dad1582e96;hpb=876f16ec4e9080bad4e39bd9c203d6529dcf4f56;p=helm.git
diff --git a/helm/software/components/binaries/transcript/CoRN.conf.xml b/helm/software/components/binaries/transcript/CoRN.conf.xml
index ad576e986..e904b4d4e 100644
--- a/helm/software/components/binaries/transcript/CoRN.conf.xml
+++ b/helm/software/components/binaries/transcript/CoRN.conf.xml
@@ -8,6 +8,8 @@
/projects/helm/exportation/CoRN
$(transcript.helm_dir)/matita/contribs/CoRN-Decl
.v
- Z_of_nat cic:/Coq/ZArith/BinInt
+ Z_of_nat cic:/Coq/ZArith/BinInt/Z_of_nat.con
+ Zpos cic:/Coq/ZArith/BinInt/Z.ind#xpointer(1/1/2)
+ nat_of_P cic:/Coq/NArith/BinPos/nat_of_P.con