Well, if it's RB format you can batch convert them. You can extract them to HTML using
rbburst which you can download from the
rbmake project.
For batch conversion from HTML => IMP there's no tool directly available that I know of. It's not too hard to create one, though. If you do know Python, you can take a
look at this code for a starting point.