Do navy seals use martial arts or something else?

Last I knew they used a hand to hand combat style that was made of technics taken from a number of unarmed combat styles. Most of it was based on judo, but added moves from other martial arts.