Yes, slowing 25fps to 24fps is the traditional procedure, but with modern technology it might be nice to have 25:24-pulldown, so you can keep the original speed of movement.
On the other hand next gen of dvcpro codec might also incorporate arbitrary framerate also for 1080p so there isn’t need for kludges any more…