Displaying menu in theme
I pulled this out of one my themes:

&lt;div class="menu"&gt;
    &lt;?php
        print theme(
            "links",
            array(
                "links" =&gt; menu_navigation_links("MENU-NAME"),
                "attributes" =&gt; array(
                    "class" =&gt; array(
                        "links",
                        "menu-links"
                    )
                )
            )
        );
    ?&gt;
&lt;/div&gt;


Alternatively, you can use Menu Block module and assign a menu block to a region, thus removing all of the ugly code from above from your theme file.