baseuri=cic:/matita/procedural/CoRN
include_paths=../Coq