What are these two functions?

AFAIK there is no such thing as theme_nav() or theme_list() so what are these for?