baseuri=cic:/matita/didactic include_paths=../../../tests