Converting Flash Videos for HTML5 Output

Hi everyone,

I'm working on a course that recycles Flash animations from an older course. These animations are interactive, so the user has to click and hold a button, drag things, etc. That said, I need the interactions to function in HTML5 output and my understanding is that Flash won't do that. I'm trying to figure out what format the animations need to be converted to and how I should insert them into the course.

Thanks in advance!