]> matita.cs.unibo.it Git - helm.git/blob - helm/software/matita/contribs/CoRN-Procedural/CoRN.conf.xml
transcript: now we can generate procedural output
[helm.git] / helm / software / matita / contribs / CoRN-Procedural / CoRN.conf.xml
1 <?xml version="1.0" encoding="utf-8"?>
2 <helm_registry>
3   <section name="package">      
4     <key name="input_name">CoRN</key>
5     <key name="output_name">CoRN</key>
6     <key name="input_base_uri">cic:/CoRN</key>
7     <key name="output_base_uri">cic:/matita/CoRN-Procedural</key>
8     <key name="input_path">/projects/helm/exportation/CoRN</key>
9     <key name="output_path">contribs/CoRN-Procedural</key>
10     <key name="input_type">.v</key>
11     <key name="output_type">procedural</key>    
12     <key name="coercion">Z_of_nat cic:/Coq/ZArith/BinInt/Z_of_nat.con</key>
13     <key name="coercion">Zpos cic:/Coq/ZArith/BinInt/Z.ind#xpointer(1/1/2)</key>
14     <key name="coercion">nat_of_P cic:/Coq/NArith/BinPos/nat_of_P.con</key>
15   </section>
16 </helm_registry>