Support for the video element is now available in the release builds of Firefox. They use the Ogg Vorbis and Theora video backend. This page contains links to examples of <video> element usage.