<key name="output_name">Coq</key>
<key name="input_base_uri">cic:/Coq</key>
<key name="output_base_uri">cic:/matita/procedural/Coq</key>
- <key name="input_path">/projects/helm/exportation/V8.0_mowgli_bugfix_branch/theories</key>
+ <key name="input_path">/home/fguidi/coq_ufficial_theories/8.0pl2</key>
<key name="output_path">contribs/procedural/Coq</key>
<key name="input_type">.v</key>
<key name="output_type">procedural</key>