A measurement of the proton-proton cross section at the CERN ISR