baseuri=cic:/matita/CoRN-Procedural
include_paths=../../legacy