baseuri=cic:/matita/LAMBDA-TYPES
include_paths= ../../legacy