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