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