% 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 -

