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