Name completion with `(c-&)' and `(c-a)(c-&)' is helpful for finding the right name of an ML global id. doc for name completion

To find the type of an ML id, which should be an instance of [text], just execute it in place with `{(m-z)(cm-z)}'. doc for ml execution cmds

ML code comes in three forms:

structured code in ML objects (doc for ML editing),
unstructured code (text) in ML objects, and
text files from disk.

There is an object ml_files which contains the names of the standard ML files for Nuprl; `(mouseleft)' on one of these "file pointers" will start up a fresh viewer on the file via the shell command "view".
(For future reference you can find a pointer to ml_files in an ML edit utility object which can be raised with the "ML" button in MainMenu.)

To view the definition of an ML global, use the `show' command. If it's defined in an ML object of the library using structured ML, then a copy of the definition will be raised in a scratch object, along with a pointer to the ML object; if you want to view the ML object immediately, use `findml' instead of `show'. If the ML id is defined in an ML object of unstructured text, it may or may not be found, but if it is, the ML object will be raised. If it can't find the definition, it will raise the object refresh mlob def cache menu. That object contains a button for grepping the standard ML files for the last ML id on which `show' was attempted, as well as a pointer to ml_files described above.

To find other ML globals whose definitions cite a given ML global, use the WhoCalls button in the ML EditMenu, which is reachable from the MainMenu.

There is further documentation on tactics in Paul Jackson's manual for Nuprl. The button TacMan will ghostview the part of the manual pertaining to standard tactics and the so-called theory structure.
(For future reference you can find this button in an ML edit utility object which can be raised with the "ML" button in MainMenu.)

There is also a manual for the ML programming language:

SHELL ghostview ml-manual.ps {nuprl/doc/ml}

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html