Original: Progressive rock eventually stuck as a label for a specific genre of rock music, while "art rock" was used to refer to a wider, more subjective and harder-to-categorize collection of bands.
Simplified: Progressive rock eventually stuck as a label for a specific genre of rock music, while art rock was used to described bands that were harder to label.