This only works if the theory is currently loaded into Nuprl's library and you have previously set the theory's file-name. Setting the theory filename is explained in Section 4.2
![\begin{parbox}
{25em}
{\tt dump\_theory {\tt \char `\uml }{}user{}{\tt \char `\u...
...hbox{
\framebox {\rule[-.2ex]{0em}{1.5ex}\sc return}
}\hspace{.2em}}\end{parbox}](img32.gif){kind=small}