If a project file does not explicitly specify a set of source directories or a set of source files, then by default the project's source files are the Ada source files in the project file directory. Thus pack.ads, pack.adb, and proc.adb are the source files for both projects.