% proc foo {} {proc bar {} {puts baz_1}}
 % namespace eval mymy {proc foo {} {proc bar {} {puts baz_2}}}
 % foo
 % ::mymy::foo
 % bar
 baz_1
 % ::mymy::bar
 baz_2
 %which appears to demonstrate dgp's assertion that procs with non-fully-qualified names are created in the current namespace, whatever that happens to be.I created some functions to generate a tagged list for the body of a proc. Check out manipulating a proc with tags. - xonecubed -

