After a session with Nuprl the results can be saved in the file system using the dump command as illustrated below. These files can then be reloaded with the load command. To end a session one uses the command exit .
