"Perhaps no documents" is incorrect. Let's not forget the rest of 4.2.1, which calls for specifically the quality policy, quality objectives, quality manual, the procedures required by ISO 9001 (six places), and the records required by ISO 9001 (roughly 20 kinds).