next up previous contents
Next: Command Abbreviations Up: Command Reference Previous: Command Line

List Scanning Commands

This subsection describes a family of commands for viewing various kinds of lists in the prover. Each of these commands puts one in an environment with the following one-letter commands:

``left'' - go to the item with alphabetically previous label.

``right'' - go to the item with alphabetically next label.

view this item.


h (or any other key)
``help'' - see a list of commands.

The commands available include scandecs (declarations), scanprograms (functional program bindings), scantheorems (theorems), scanenvs (saved proof environments), scantheories (theories on desktop).

Randall Holmes
Fri Sep 5 16:28:58 MDT 1997