next up previous contents index
Next: Object Types Up: System Description Previous: General Commands

The Library

The library  is a list of all the objects defined by the user and includes theorems, definitions, evaluation bindings and ML code. The library  window displays information about the various objects--- their names, types, statuses and summary descriptions. In this section we give a short description of the different kinds of objects and their statuses.

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