<key name="input_base_uri">cic:/CoRN</key>
<key name="output_base_uri">cic:/matita/CoRN-Decl</key>
<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="input_base_uri">cic:/CoRN</key>
<key name="output_base_uri">cic:/matita/CoRN-Decl</key>
<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>