Aggregation: the internals of the PCP development

Every module of Dinur's proof, so that the whole tree is reachable from a single build target. Aggregation files carry no definitions.