Well, that was a big chunk of ice (comet core) and they stuck a bare fission reactor core in it to make a steam rocket. And they had robot swarms to mine/shape ice. It's a very cool book, though!

Do you not remember the asteroid that was attached to the station from the beginning of the story onward?

Doh! But he didn't say how they moved that.