The curricular shaping of students' approaches to proof