Generalization in geometry as seen in the history of developable surfaces