Next: Entry of Objects
Up: Statements and Definitions
Previous: Finishing Up
The library is the part of the system where objects of
various kinds are stored. The system
presents the user with a view of a portion of the library through the
library window ; the library window
shows objects by name, kind (theorem,
definition or ML), and status. For theorems, the statement of the theorem is
also visible.
The scroll command alters the user's view of the library.
The form of the command is scroll number. This
command moves the view down by the indicated number of objects; to
move the view upward one uses the command scroll up
number.
Richard Eaton
Thu Sep 14 08:45:18 EDT 1995