If you have started a new Nuprl session, and you want to load your
previously saved theory, enter:
The load only succeeds if the theory filename has been set as explained
in Section 4.2, and there isn't a
theory by the same name already loaded. The theory is always loaded
at the bottom of the library.
![\begin{parbox}
{25em}
{\tt load\_theory {\tt \char `\uml }{}user{}{\tt \char `\u...
...hbox{
\framebox {\rule[-.2ex]{0em}{1.5ex}\sc return}
}\hspace{.2em}}\end{parbox}](img33.gif){kind=small}