<key name="input_path">/projects/helm/exportation/CoRN</key>
<key name="output_path">$(transcript.helm_dir)/matita/contribs/CoRN-Decl</key>
<key name="script_type">.v</key>
- <key name="coercion">Z_of_nat cic:/Coq/ZArith/BinInt</key>
+ <key name="coercion">Z_of_nat cic:/Coq/ZArith/BinInt/Z_of_nat.con</key>
+ <key name="coercion">Zpos cic:/Coq/ZArith/BinInt/Z.ind#xpointer(1/1/2)</key>
+ <key name="coercion">nat_of_P cic:/Coq/NArith/BinPos/nat_of_P.con</key>
</section>
</helm_registry>