next up previous contents index
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.gif

Richard Eaton
Thu Sep 14 08:45:18 EDT 1995