Setting the Theory Filename

  You should associate your theory with some file-name. This file-name is used whenever saving or loading the theory. Enter:

Here, $\langle$filename$\rangle$ should be the name of the file you want to associate with the theory without a name extension. Include a pathname. For example, ~/nuprl/user would be a valid name. The filename that Nuprl uses for the theory is $\langle$filename$\rangle$.thy.