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